constraints: remove debugging and use the stripped() expression
[smatch.git] / compile.c
blobeeb996abdf139d334e9d30b639ae99e75df37f69
1 /*
2 * Example trivial client program that uses the sparse library
3 * and x86 backend.
5 * Copyright (C) 2003 Transmeta Corp.
6 * 2003 Linus Torvalds
7 * Copyright 2003 Jeff Garzik
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.
28 #include <stdarg.h>
29 #include <stdlib.h>
30 #include <stdio.h>
31 #include <string.h>
32 #include <ctype.h>
33 #include <unistd.h>
34 #include <fcntl.h>
36 #include "lib.h"
37 #include "allocate.h"
38 #include "token.h"
39 #include "parse.h"
40 #include "symbol.h"
41 #include "expression.h"
42 #include "compile.h"
44 static void clean_up_symbols(struct symbol_list *list)
46 struct symbol *sym;
48 FOR_EACH_PTR(list, sym) {
49 expand_symbol(sym);
50 emit_one_symbol(sym);
51 } END_FOR_EACH_PTR(sym);
54 int main(int argc, char **argv)
56 char *file;
57 struct string_list *filelist = NULL;
59 bits_in_bool = 8;
61 clean_up_symbols(sparse_initialize(argc, argv, &filelist));
62 FOR_EACH_PTR_NOTAG(filelist, file) {
63 struct symbol_list *list;
64 const char *basename = strrchr(file, '/');
65 basename = basename ? basename+1 : file;
67 list = sparse(file);
69 // Do type evaluation and simplification
70 emit_unit_begin(basename);
71 clean_up_symbols(list);
72 emit_unit_end();
73 } END_FOR_EACH_PTR_NOTAG(file);
75 #if 0
76 // And show the allocation statistics
77 show_ident_alloc();
78 show_token_alloc();
79 show_symbol_alloc();
80 show_expression_alloc();
81 show_statement_alloc();
82 show_string_alloc();
83 show_bytes_alloc();
84 #endif
85 return 0;