next up previous contents
Next: ReturnStatement Up: Simple Control Flow Statements Previous: JumpStatement   Contents


A JumpIndirectStatement is equivalent to a JumpStatement except that there is a level of indirection. The address of a label can be taken and that address can be stored and passed around like any other data.

    concrete JumpIndirectStatement : Statement
        Expression * owner target in source_ops;

target When a JumpIndirectStatement is evaluated, the target operand is evaluated and it is expected that the result will be the address of some label in the local scope. Control then continues with the code specified by that label. The type of the target must be a ``pointer to void'' type.

SUIF Nightly Build