gccint: Jumps

1 
1 11.7.5 Jumps
1 ------------
1 
1 Other jumps are expressed by either 'GOTO_EXPR' or 'RETURN_EXPR'.
1 
1  The operand of a 'GOTO_EXPR' must be either a label or a variable
1 containing the address to jump to.
1 
1  The operand of a 'RETURN_EXPR' is either 'NULL_TREE', 'RESULT_DECL', or
1 a 'MODIFY_EXPR' which sets the return value.  It would be nice to move
1 the 'MODIFY_EXPR' into a separate statement, but the special return
1 semantics in 'expand_return' make that difficult.  It may still happen
1 in the future, perhaps by moving most of that logic into
1 'expand_assignment'.
1