11.7.5 跳转

RETURN_EXPR. 其它的跳转由GOTO_EXPR或者RETURN_EXPR表示。

GOTO_EXPR的操作数必须为一个标号或者一个包含跳转地址的变量。

RETURN_EXPR的操作数为NULL_TREE，RESULT_DECL，或者MODIFY_EXPR，其用来设置返回值。将MODIFY_EXPR移送到一个单独的语句会好些，不过expand_return中的特定的return语义使得有些困难。这在将来可能会发生，可能会通过将大部分逻辑移送到expand_assignment中。