buf_size: fix handling of unknown flexible array sizes
[smatch.git] / test-parsing.c
blobc5bc42e190f599925c003d800c9dc7f3ac05dc9a
1 /*
2 * Example trivial client program that uses the sparse library
3 * to tokenize, preprocess and parse a C file, and prints out
4 * the results.
6 * Copyright (C) 2003 Transmeta Corp.
7 * 2003 Linus Torvalds
9 * Permission is hereby granted, free of charge, to any person obtaining a copy
10 * of this software and associated documentation files (the "Software"), to deal
11 * in the Software without restriction, including without limitation the rights
12 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
13 * copies of the Software, and to permit persons to whom the Software is
14 * furnished to do so, subject to the following conditions:
16 * The above copyright notice and this permission notice shall be included in
17 * all copies or substantial portions of the Software.
19 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
20 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
21 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
22 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
23 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
24 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
25 * THE SOFTWARE.
27 #include <stdarg.h>
28 #include <stdlib.h>
29 #include <stdio.h>
30 #include <string.h>
31 #include <ctype.h>
32 #include <unistd.h>
33 #include <fcntl.h>
35 #include "lib.h"
36 #include "allocate.h"
37 #include "token.h"
38 #include "parse.h"
39 #include "symbol.h"
40 #include "expression.h"
42 static void clean_up_symbols(struct symbol_list *list)
44 struct symbol *sym;
46 FOR_EACH_PTR(list, sym) {
47 expand_symbol(sym);
48 } END_FOR_EACH_PTR(sym);
51 int main(int argc, char **argv)
53 struct symbol_list * list;
54 struct string_list * filelist = NULL;
55 char *file;
57 list = sparse_initialize(argc, argv, &filelist);
59 // Simplification
60 clean_up_symbols(list);
62 #if 1
63 show_symbol_list(list, "\n\n");
64 printf("\n\n");
65 #endif
67 FOR_EACH_PTR(filelist, file) {
68 list = sparse(file);
70 // Simplification
71 clean_up_symbols(list);
73 #if 1
74 // Show the end result.
75 show_symbol_list(list, "\n\n");
76 printf("\n\n");
77 #endif
78 } END_FOR_EACH_PTR(file);
80 #if 0
81 // And show the allocation statistics
82 show_ident_alloc();
83 show_token_alloc();
84 show_symbol_alloc();
85 show_expression_alloc();
86 show_statement_alloc();
87 show_string_alloc();
88 show_bytes_alloc();
89 #endif
90 return 0;