atomic_inc_dec: don't warn about impossible paths
[smatch.git] / test-linearize.c
blob17ad5d50855a61d60f3289d108e532051d24b8dc
1 /*
2 * Parse and linearize the tree for testing.
4 * Copyright (C) 2003 Transmeta Corp.
5 * 2003-2004 Linus Torvalds
7 * Permission is hereby granted, free of charge, to any person obtaining a copy
8 * of this software and associated documentation files (the "Software"), to deal
9 * in the Software without restriction, including without limitation the rights
10 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11 * copies of the Software, and to permit persons to whom the Software is
12 * furnished to do so, subject to the following conditions:
14 * The above copyright notice and this permission notice shall be included in
15 * all copies or substantial portions of the Software.
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
20 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
23 * THE SOFTWARE.
25 #include <stdarg.h>
26 #include <stdlib.h>
27 #include <stdio.h>
28 #include <string.h>
29 #include <ctype.h>
30 #include <unistd.h>
31 #include <fcntl.h>
33 #include "lib.h"
34 #include "allocate.h"
35 #include "token.h"
36 #include "parse.h"
37 #include "symbol.h"
38 #include "expression.h"
39 #include "linearize.h"
41 static void clean_up_symbols(struct symbol_list *list)
43 struct symbol *sym;
45 FOR_EACH_PTR(list, sym) {
46 struct entrypoint *ep;
48 expand_symbol(sym);
49 ep = linearize_symbol(sym);
50 if (!(fdump_ir & PASS_FINAL))
51 continue;
52 if (ep)
53 show_entry(ep);
54 } END_FOR_EACH_PTR(sym);
57 int main(int argc, char **argv)
59 struct string_list *filelist = NULL;
60 char *file;
62 clean_up_symbols(sparse_initialize(argc, argv, &filelist));
63 FOR_EACH_PTR(filelist, file) {
64 clean_up_symbols(sparse(file));
65 } END_FOR_EACH_PTR(file);
67 report_stats();
68 return 0;