Add full list of gcc attribute
[smatch.git] / lib.h
blob3f8d3615aa3509a615581b74a1e187f9c4800bb6
1 #ifndef LIB_H
2 #define LIB_H
4 #include <stdlib.h>
5 #include <stddef.h>
7 /*
8 * Basic helper routine descriptions for 'sparse'.
10 * Copyright (C) 2003 Transmeta Corp.
11 * 2003 Linus Torvalds
12 * 2004 Christopher Li
14 * Permission is hereby granted, free of charge, to any person obtaining a copy
15 * of this software and associated documentation files (the "Software"), to deal
16 * in the Software without restriction, including without limitation the rights
17 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
18 * copies of the Software, and to permit persons to whom the Software is
19 * furnished to do so, subject to the following conditions:
21 * The above copyright notice and this permission notice shall be included in
22 * all copies or substantial portions of the Software.
24 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
25 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
26 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
27 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
28 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
29 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
30 * THE SOFTWARE.
33 #include "compat.h"
34 #include "ptrlist.h"
36 #define DO_STRINGIFY(x) #x
37 #define STRINGIFY(x) DO_STRINGIFY(x)
39 #ifndef ARRAY_SIZE
40 #define ARRAY_SIZE(x) (sizeof(x)/sizeof((x)[0]))
41 #endif
43 extern int verbose, optimize, optimize_size, preprocessing;
44 extern int die_if_error;
45 extern int repeat_phase, merge_phi_sources;
46 extern int gcc_major, gcc_minor, gcc_patchlevel;
48 extern unsigned int hexval(unsigned int c);
50 struct position {
51 unsigned int type:6,
52 stream:14,
53 newline:1,
54 whitespace:1,
55 pos:10;
56 unsigned int line:31,
57 noexpand:1;
60 struct ident;
61 struct token;
62 struct symbol;
63 struct statement;
64 struct expression;
65 struct basic_block;
66 struct entrypoint;
67 struct instruction;
68 struct multijmp;
69 struct pseudo;
71 DECLARE_PTR_LIST(symbol_list, struct symbol);
72 DECLARE_PTR_LIST(statement_list, struct statement);
73 DECLARE_PTR_LIST(expression_list, struct expression);
74 DECLARE_PTR_LIST(basic_block_list, struct basic_block);
75 DECLARE_PTR_LIST(instruction_list, struct instruction);
76 DECLARE_PTR_LIST(multijmp_list, struct multijmp);
77 DECLARE_PTR_LIST(pseudo_list, struct pseudo);
78 DECLARE_PTR_LIST(ident_list, struct ident);
79 DECLARE_PTR_LIST(string_list, char);
81 typedef struct pseudo *pseudo_t;
83 struct token *skip_to(struct token *, int);
84 struct token *expect(struct token *, int, const char *);
85 #ifdef __GNUC__
86 #define FORMAT_ATTR(pos) __attribute__ ((__format__ (__printf__, pos, pos+1)))
87 #define NORETURN_ATTR __attribute__ ((__noreturn__))
88 #define SENTINEL_ATTR __attribute__ ((__sentinel__))
89 #else
90 #define FORMAT_ATTR(pos)
91 #define NORETURN_ATTR
92 #define SENTINEL_ATTR
93 #endif
94 extern void die(const char *, ...) FORMAT_ATTR(1) NORETURN_ATTR;
95 extern void info(struct position, const char *, ...) FORMAT_ATTR(2);
96 extern void warning(struct position, const char *, ...) FORMAT_ATTR(2);
97 extern void sparse_error(struct position, const char *, ...) FORMAT_ATTR(2);
98 extern void error_die(struct position, const char *, ...) FORMAT_ATTR(2) NORETURN_ATTR;
99 extern void expression_error(struct expression *, const char *, ...) FORMAT_ATTR(2);
101 #define ERROR_CURR_PHASE (1 << 0)
102 #define ERROR_PREV_PHASE (1 << 1)
103 extern int has_error;
105 extern void add_pre_buffer(const char *fmt, ...) FORMAT_ATTR(1);
107 extern int preprocess_only;
109 extern int Waddress;
110 extern int Waddress_space;
111 extern int Wbitwise;
112 extern int Wcast_to_as;
113 extern int Wcast_truncate;
114 extern int Wcontext;
115 extern int Wdecl;
116 extern int Wdeclarationafterstatement;
117 extern int Wdefault_bitfield_sign;
118 extern int Wdesignated_init;
119 extern int Wdo_while;
120 extern int Wenum_mismatch;
121 extern int Wsparse_error;
122 extern int Winit_cstring;
123 extern int Wmemcpy_max_count;
124 extern int Wnon_pointer_null;
125 extern int Wold_initializer;
126 extern int Wone_bit_signed_bitfield;
127 extern int Woverride_init;
128 extern int Woverride_init_all;
129 extern int Woverride_init_whole_range;
130 extern int Wparen_string;
131 extern int Wptr_subtraction_blows;
132 extern int Wreturn_void;
133 extern int Wshadow;
134 extern int Wsizeof_bool;
135 extern int Wtautological_compare;
136 extern int Wtransparent_union;
137 extern int Wtypesign;
138 extern int Wundef;
139 extern int Wuninitialized;
140 extern int Wunknown_attribute;
141 extern int Wvla;
143 extern int dump_macro_defs;
145 extern int dbg_entry;
146 extern int dbg_dead;
148 extern int fmem_report;
149 extern int fdump_linearize;
150 extern unsigned long long fmemcpy_max_count;
152 extern int arch_m64;
153 extern int arch_big_endian;
155 extern void declare_builtin_functions(void);
156 extern void create_builtin_stream(void);
157 extern void dump_macro_definitions(void);
158 extern struct symbol_list *sparse_initialize(int argc, char **argv, struct string_list **files);
159 extern struct symbol_list *__sparse(char *filename);
160 extern struct symbol_list *sparse_keep_tokens(char *filename);
161 extern struct symbol_list *sparse(char *filename);
162 extern void report_stats(void);
164 static inline int symbol_list_size(struct symbol_list *list)
166 return ptr_list_size((struct ptr_list *)(list));
169 static inline int statement_list_size(struct statement_list *list)
171 return ptr_list_size((struct ptr_list *)(list));
174 static inline int expression_list_size(struct expression_list *list)
176 return ptr_list_size((struct ptr_list *)(list));
179 static inline int instruction_list_size(struct instruction_list *list)
181 return ptr_list_size((struct ptr_list *)(list));
184 static inline int pseudo_list_size(struct pseudo_list *list)
186 return ptr_list_size((struct ptr_list *)(list));
189 static inline int bb_list_size(struct basic_block_list *list)
191 return ptr_list_size((struct ptr_list *)(list));
194 static inline void free_instruction_list(struct instruction_list **head)
196 free_ptr_list((struct ptr_list **)head);
199 static inline struct instruction * delete_last_instruction(struct instruction_list **head)
201 return undo_ptr_list_last((struct ptr_list **)head);
204 static inline struct basic_block * delete_last_basic_block(struct basic_block_list **head)
206 return delete_ptr_list_last((struct ptr_list **)head);
209 static inline struct basic_block *first_basic_block(struct basic_block_list *head)
211 return first_ptr_list((struct ptr_list *)head);
213 static inline struct instruction *last_instruction(struct instruction_list *head)
215 return last_ptr_list((struct ptr_list *)head);
218 static inline struct instruction *first_instruction(struct instruction_list *head)
220 return first_ptr_list((struct ptr_list *)head);
223 static inline struct expression *first_expression(struct expression_list *head)
225 return first_ptr_list((struct ptr_list *)head);
228 static inline pseudo_t first_pseudo(struct pseudo_list *head)
230 return first_ptr_list((struct ptr_list *)head);
233 static inline void concat_symbol_list(struct symbol_list *from, struct symbol_list **to)
235 concat_ptr_list((struct ptr_list *)from, (struct ptr_list **)to);
238 static inline void concat_basic_block_list(struct basic_block_list *from, struct basic_block_list **to)
240 concat_ptr_list((struct ptr_list *)from, (struct ptr_list **)to);
243 static inline void concat_instruction_list(struct instruction_list *from, struct instruction_list **to)
245 concat_ptr_list((struct ptr_list *)from, (struct ptr_list **)to);
248 static inline void add_symbol(struct symbol_list **list, struct symbol *sym)
250 add_ptr_list(list, sym);
253 static inline void add_statement(struct statement_list **list, struct statement *stmt)
255 add_ptr_list(list, stmt);
258 static inline void add_expression(struct expression_list **list, struct expression *expr)
260 add_ptr_list(list, expr);
263 static inline void add_ident(struct ident_list **list, struct ident *ident)
265 add_ptr_list(list, ident);
268 #define hashval(x) ((unsigned long)(x))
270 #endif