2 * Example trivial client program that uses the sparse library
3 * to tokenize, pre-process and parse a C file, and prints out
6 * Copyright (C) 2003 Transmeta Corp, all rights reserved.
20 #include "expression.h"
22 static unsigned int pre_buffer_size
= 0;
23 static unsigned char pre_buffer
[8192];
25 static void add_pre_buffer(const char *fmt
, ...)
31 size
= pre_buffer_size
;
32 size
+= vsnprintf(pre_buffer
+ size
,
33 sizeof(pre_buffer
) - size
,
35 pre_buffer_size
= size
;
39 static void handle_switch(char *arg
)
43 const char *name
= arg
+1;
44 const char *value
= "";
50 if (isspace(c
) || c
== '=') {
56 add_pre_buffer("#define %s %s\n", name
, value
);
61 add_pre_buffer("#add_include \"%s/\"\n", arg
+1);
64 fprintf(stderr
, "unknown switch '%s'\n", arg
);
68 static void clean_up_symbol(struct symbol
*sym
, void *_parent
, int flags
)
73 int main(int argc
, char **argv
)
76 char *filename
= NULL
;
79 // Initialize symbol stream first, so that we can add defines etc
82 add_pre_buffer("#define __CHECKER__ 1\n");
83 add_pre_buffer("#nostdinc\n");
84 add_pre_buffer("#add_include \"/home/torvalds/v2.5/linux/include/\"\n");
85 add_pre_buffer("#add_include \"/home/torvalds/v2.5/linux/include/asm-i386/mach-default/\"\n");
86 add_pre_buffer("#add_include \"/home/torvalds/v2.5/linux/arch/i386/mach-default/\"\n");
87 add_pre_buffer("#add_include \"\"\n");
88 add_pre_buffer("#define __KERNEL__\n");
89 add_pre_buffer("#define __GNUC__ 2\n");
90 add_pre_buffer("#define __GNUC_MINOR__ 95\n");
91 add_pre_buffer("#define __builtin_constant_p(x) 0\n");
92 add_pre_buffer("#define __func__ \"function\"\n");
95 for (i
= 1; i
< argc
; i
++) {
105 fd
= open(filename
, O_RDONLY
);
107 die("No such file: %s", argv
[1]);
109 // Tokenize the input stream
110 token
= tokenize(filename
, fd
, NULL
);
113 // Prepend the initial built-in stream
114 token
= tokenize_buffer(pre_buffer
, pre_buffer_size
, token
);
116 // Pre-process the stream
117 token
= preprocess(token
);
119 // Parse the resulting C code
120 translation_unit(token
, &used_list
);
122 // Do type evaluation and simplify
123 symbol_iterate(used_list
, clean_up_symbol
, NULL
);