LCC编译器的源程序分析(33)break语句

break 语句可以使用流程跳出 switch 语句的分支选择,当然它还可以用来从循环体内跳出循环体,即提前结束循环,接着执行循环下面的语句。但它不能用于循环语句和 switch 语句之外的其它语句中。
比如下面的例子:
for(;;)
{
 if( a++ > 100)
       break;
}
 
现在就来分析一下面处理 break 的代码:
#001 case BREAK:   
#002         walk(NULL, 0, 0);
#003         definept(NULL);
#004 
#005         if (swp && swp->lab > loop)
#006               branch(swp->lab + 1);
#007         else if (loop)
#008               branch(loop + 2);
#009         else
#010               error("illegal break statement/n");
#011 
#012         t = gettok();
#013         expect(';');
#014         break;
2 行复位分配的内存。
3 行定义了执行点。
5 行判断是 switch 语句和其它循环语句的区分。如果是 switch 语句就要生成 swp->lab + 1 的跳转目标的标号(第 6 行)。如果是循环语句就要生成 loop + 2 的跳转目标的标号,也就是以前介绍过的标号 3 的位置,那样就达到跳出循环的目的(第 8 行)。
10 行是当 break 在其它语句里就出错的情况处理。
12 行是获取下一个记号。
13 行是希望以分号结束 break 语句。
这样就处理完成 break 语句的语义和语法的分析 

你可能感兴趣的:(null,编译器,branch)