8 int n = 100;
9 while(n > 0)
10
11 n--;
12 }
13
由于没有#include <stdio.h>，这里预处理器做的基础操作变得简单明了。预处理器删
除注释代码，替换宏定义等预处理指令（这里不涉及），在文件头添加了一些以“#”开
头的行同步指令，它们帮助 gcc 为#included 文件中的错误提供正确的错误消息。其含义
如下：
# line-number "source-file" [flags]
flags
标志的含义（空格分隔）：
1 -
开始新文件
2 -
返回上一个文件
3 -
以下文本来自系统头文件（
#include <> vs #include
“”）
4 -
以下文本应被视为包含在隐式
extern
“
C
”块中。
在探索预处理器的过程中，有一些有意思的发现。一些诸如 unix，vax，linux 等字
符串，即便没有任何#define 语句，没有#include 任何文件，它们在 gcc 编译器中都会被
默认认为是宏。比如 linux 会被 gcc 的预处理器自动替换为 1。这是由于早期的 C 语言
（1989 年 ANSI C 标准出台前）对于编译目标平台的标记方式没有严格约束，GNU 编
译器的实现方式是将对应平台字符串作为宏定义进入预处理器，并且默认开发者会避开
这些字符串。而在 1989 年 ANSI C 标准出台后，限制了编译器对符号的使用，编译器中
预定义宏的符号只能以两个下划线开头，或者一个下划线后紧接着大写字母。目前在 gcc
中想要避免这些字符串被替换，应当在编译时使用-std=c90 -pedantic 参数明确 C 语言标
准。
随后，对源码进行语法分析，并绘制控制流程图。
使用“-fdump-tree-original-raw”参数生成抽象语法树如下（simple.c.003t.original）
1 ;; Function main (null)
2 ;; enabled by -tree-original
3
4 @1 bind_expr type: @2 vars: @3 body: @4
5 @2 void_type name: @5 algn: 8
6 @3 var_decl name: @6 type: @7 scpe: @8
评论0