Dynamic control flow is unsupported. The following cases are classified as dynamic control flow:
Jumps to expression of label type, such as label-variable, element of array of labels, field of structure, and so forth (treated as program stop).
Jumps by GOTO outside procedure (treated as program stop).
Condition handling:
Control flow is constructed as if condition-handling operators are replaced by empty operators. Nested operators are also skipped.
Alias analysis processing:
Aliases induced by RETURN(<addr expression>) are not supported
Non-null pointers in structures are lost when the structure is passed as a parameter to a top-level procedure (except PSB pointers).