gcc 源码分析-从一个最简单的程序说起2
接下来作语法分析，
其中涉及到的语法规则：
1 fndef: typed_declspecs declarator
{if (! start_function ($1, $2))
YYFAIL;
}
xdecls
{ store_parm_decls (); }
'{' '}'
{finish_function (lineno); }
;
/* Declspecs which contain at least one type specifier or typedef name.
(Just `const' or `volatile' is not enough.)
A typedef'd name following these is taken as a name to be declared. */
2 typed_declspecs:
typespec
{ $$ = tree_cons (NULL_TREE, $1, NULL_TREE); }
;
/* A typespec (but not a type qualifier).
Once we have seen one of these in a declaration,
if a typedef name appears then it is being redeclared. */
3 typespec: TYPESPEC
;
/* Any kind of declarator (thus, all declarators allowed
after an explicit typespec). */
4 declarator:
notype_declarator
;
/* A declarator allowed whether or not there has been
an explicit typespec. These cannot redeclare a typedef-name. */
5 notype_declarator:
notype_declarator '(' parmlist_or_identifiers %prec '.'
{ $$ = build_nt (CALL_EXPR, $1, $3, NULL_TREE); }
| IDENTIFIER
;
/* This is referred to where either a parmlist or an identifier list is ok.
Its value is a list of ..._TYPE nodes or a list of identifiers. */
6 parmlist_or_identifiers:
{ pushlevel (0); }
parmlist_or_identifiers_1
{ $$ = $2;
poplevel (0, 0, 0); }
;
7 parmlist_or_identifiers_1:
parmlist_2 ')'
;
/* This is what appears inside the parens in a function declarator.
Is value is represented in the format that grokdeclarator expects. */
8 parmlist_2: /* empty */
{ $$ = get_parm_info (0); }
9 xdecls:
/* empty */
;
我们知道bison采用的是从下往上的语法分析方法，
当词法分析器读到void,上一篇词法分析有交待，他会把它识别成 TYPESPEC类型符号，这样就与语法规则3相匹配，同时规约为typespec 在上面的语法规则中只有规则2右边有typespec非终结符，所以可以直接规约到符号typed_declspecs，这时执行
{ $$ = tree_cons (NULL_TREE, $1, NULL_TREE);
tree_cons将生成一个tree_list 的节点，返回类型被记录在tree_list 的list.value上面，这个tree_list将被作为typed_declspecs的值，在规则1中将被引用。
typed_declspecs能否继续规约还要看后面的符号。后面的是main字串，不是
保留字，是IDENTIFIER ,上面出现IDENTIFIER 的只有规则5。这样可规约为notype_declarator非终结符，
右边含有notype_declarator非终结符，只有规则5的另一个分支；再看后面
它是'('，而规则5种这一分支正好有一个'(' ,这个分支后续有parmlist_or_identifiers非终结符。
我们看规则 6，7，8，发现其实parmlist_2对应到一个空串，而规则7，parmlist_2 后面对应')' 与输入相符，
这样与规则5另一分支完全相符，这样就会依次执行：get_parm_info (0);pushlevel (0);poplevel (0, 0, 0);
下面分析get_parm_info函数：
这里参数为0表示没有参数，为1表示有参数。
函数开始取出参数getdecls();
再进行反序排列nreverse();这样parms保存的参数将是第一个参数，他的
下一个参数将通过TREE_CHAIN ()获取，
然后将反序排列的参数进行保存storedecls();
因为函数可以写成这样int main(void) 实际上是没有参数：下面的代码就是处理这种情况：
/* Just `void' (and no ellipsis) is special. There are really no parms. */
if (void_at_end && parms != 0
&& TREE_CHAIN (parms) == 0
&& TREE_TYPE (parms) == void_type_node
&& DECL_NAME (parms) == 0)
{
parms = NULL_TREE;
storedecls (NULL_TREE);
return saveable_tree_cons (NULL_TREE, NULL_TREE,
saveable_tree_cons (NULL_TREE, void_type_node, NULL_TREE));
}
因为这里没参数，我们将在以后再来分析这段代码。
pushlevel和poplevel 表明作用域的变化，进入到参数列表，从全局域变化到函数作用域，pushlevel进入到函数作用域，poplevel跳出函数作用域，进入全局域。
根据规则5，将再次规约到notype_declarator，这时会执行：
{ $$ = build_nt (CALL_EXPR, $1, $3, NULL_TREE); }
这个函数比较简单：
产生CALL_EXPR节点，
exp.operands[0]，保存函数名
exp.operands[1]，parmlist_2非终结符值
exp.operands[2]，为空。
然后再根据规则4，继续规约到declarator，这个非终结符在产生式右边，只有规则1出现，继续看规则1，根据规则9，xdecls对应到空串，后续输入字符'{' '}' 恰恰与规则1相符，这样会依次执行：
start_function，store_parm_decls ()，finish_function (lineno);
接下来讲函数体的处理。