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).
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).