diff options
| author | welinder@troll.com <welinder@troll.com> | 2004-10-11 10:33:00 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-04-07 21:03:35 -0700 |
| commit | 79bfac6d70f21b482e2ef48104cf2ccbe229b39d (patch) | |
| tree | fbc0bbfd8b8c1c3c869c6bf49ba26aa8ade35067 /test-linearize.c | |
| parent | ba3cbdd69ec8dbf9c2f2695649e441d4022fb0fc (diff) | |
| download | sparse-dev-79bfac6d70f21b482e2ef48104cf2ccbe229b39d.tar.gz | |
test-linearize.c:
Simplify using declare_builtin_functions.
lib.h:
declare declare_builtin_functions.
lib.c:
New declare_builtin_functions extracted from check.c
Fix __builtin_ffs prototype.
Define __SIZE_TYPE__ only conditionally to allow it to be overwritten
from command line by cgcc.
Add __builtin_va_alist and __builtin_va_arg_incr stubs.
check.c:
Move builtin declarations to lib.c
Diffstat (limited to 'test-linearize.c')
| -rw-r--r-- | test-linearize.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test-linearize.c b/test-linearize.c index 300a8b75..a43cffa9 100644 --- a/test-linearize.c +++ b/test-linearize.c @@ -42,11 +42,6 @@ int main(int argc, char **argv) // Initialize symbol stream first, so that we can add defines etc init_symbols(); - create_builtin_stream(); - add_pre_buffer("#define __CHECKER__ 1\n"); - add_pre_buffer("extern void *__builtin_memcpy(void *, const void *, unsigned long);\n"); - add_pre_buffer("extern void * __builtin_return_address(int);\n"); - args = argv; for (;;) { char *arg = *++args; @@ -62,6 +57,11 @@ int main(int argc, char **argv) // Initialize type system init_ctype(); + create_builtin_stream(); + add_pre_buffer("#define __CHECKER__ 1\n"); + if (!preprocess_only) + declare_builtin_functions(); + fd = open(filename, O_RDONLY); if (fd < 0) die("No such file: %s", filename); |