Member predicate TypeSwitchVarFlowStateTransformer::barrierFor
Holds if this should be a barrier for a flow state with bit size bitSize
and architecture bit size architectureBitSize
.
This includes flow states which are transformed into other flow states.
predicate barrierFor(int bitSize, int architectureBitSize)