Warn about undefined preprocessor symbols at expansion time, not parse time
[smatch.git] / lib.h
blob3247a88b1b9771b626c5bc8574fdf695d9db0931
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 * Licensed under the Open Software License version 1.1
17 #include "compat.h"
18 #include "ptrlist.h"
20 extern int verbose, optimize, optimize_size, preprocessing;
21 extern int repeat_phase, merge_phi_sources;
22 extern int gcc_major, gcc_minor;
24 extern unsigned int hexval(unsigned int c);
26 struct position {
27 unsigned int type:6,
28 stream:14,
29 newline:1,
30 whitespace:1,
31 pos:10;
32 unsigned int line:31,
33 noexpand:1;
36 struct ident;
37 struct token;
38 struct symbol;
39 struct statement;
40 struct expression;
41 struct basic_block;
42 struct entrypoint;
43 struct instruction;
44 struct multijmp;
45 struct pseudo;
47 DECLARE_PTR_LIST(symbol_list, struct symbol);
48 DECLARE_PTR_LIST(statement_list, struct statement);
49 DECLARE_PTR_LIST(expression_list, struct expression);
50 DECLARE_PTR_LIST(basic_block_list, struct basic_block);
51 DECLARE_PTR_LIST(instruction_list, struct instruction);
52 DECLARE_PTR_LIST(multijmp_list, struct multijmp);
53 DECLARE_PTR_LIST(pseudo_list, struct pseudo);
55 typedef struct pseudo *pseudo_t;
57 struct token *skip_to(struct token *, int);
58 struct token *expect(struct token *, int, const char *);
59 #ifdef __GNUC__
60 #define FORMAT_ATTR(pos) __attribute__ ((__format__ (__printf__, pos, pos+1)))
61 #else
62 #define FORMAT_ATTR(pos)
63 #endif
64 extern void die(const char *, ...) FORMAT_ATTR(1);
65 extern void info(struct position, const char *, ...) FORMAT_ATTR(2);
66 extern void warning(struct position, const char *, ...) FORMAT_ATTR(2);
67 extern void error(struct position, const char *, ...) FORMAT_ATTR(2);
68 extern void error_die(struct position, const char *, ...) FORMAT_ATTR(2);
69 #undef FORMAT_ATTR
71 extern char **handle_switch(char *arg, char **next);
72 extern void add_pre_buffer(const char *fmt, ...);
74 extern int include_fd;
75 extern char *include;
76 extern int preprocess_only;
77 extern int Wptr_subtraction_blows;
78 extern int Wdefault_bitfield_sign;
79 extern int Wundefined_preprocessor;
80 extern int Wbitwise, Wtypesign, Wcontext;
81 extern int Wtransparent_union;
83 extern void declare_builtin_functions(void);
84 extern void create_builtin_stream(void);
85 extern int sparse_initialize(int argc, char **argv);
86 extern struct symbol_list *sparse(char **argv);
88 static inline int symbol_list_size(struct symbol_list* list)
90 return ptr_list_size((struct ptr_list *)(list));
93 static inline int statement_list_size(struct statement_list* list)
95 return ptr_list_size((struct ptr_list *)(list));
98 static inline int expression_list_size(struct expression_list* list)
100 return ptr_list_size((struct ptr_list *)(list));
103 static inline int instruction_list_size(struct instruction_list* list)
105 return ptr_list_size((struct ptr_list *)(list));
108 static inline int pseudo_list_size(struct pseudo_list* list)
110 return ptr_list_size((struct ptr_list *)(list));
113 static inline int bb_list_size(struct basic_block_list* list)
115 return ptr_list_size((struct ptr_list *)(list));
118 static inline void free_instruction_list(struct instruction_list **head)
120 free_ptr_list((struct ptr_list **)head);
123 static inline struct instruction * delete_last_instruction(struct instruction_list **head)
125 return undo_ptr_list_last((struct ptr_list **)head);
128 static inline struct basic_block * delete_last_basic_block(struct basic_block_list **head)
130 return delete_ptr_list_last((struct ptr_list **)head);
133 static inline struct basic_block *first_basic_block(struct basic_block_list *head)
135 return first_ptr_list((struct ptr_list *)head);
137 static inline struct instruction *last_instruction(struct instruction_list *head)
139 return last_ptr_list((struct ptr_list *)head);
142 static inline struct instruction *first_instruction(struct instruction_list *head)
144 return first_ptr_list((struct ptr_list *)head);
147 static inline pseudo_t first_pseudo(struct pseudo_list *head)
149 return first_ptr_list((struct ptr_list *)head);
152 static inline void concat_symbol_list(struct symbol_list *from, struct symbol_list **to)
154 concat_ptr_list((struct ptr_list *)from, (struct ptr_list **)to);
157 static inline void concat_basic_block_list(struct basic_block_list *from, struct basic_block_list **to)
159 concat_ptr_list((struct ptr_list *)from, (struct ptr_list **)to);
162 static inline void concat_instruction_list(struct instruction_list *from, struct instruction_list **to)
164 concat_ptr_list((struct ptr_list *)from, (struct ptr_list **)to);
167 static inline void add_symbol(struct symbol_list **list, struct symbol *sym)
169 add_ptr_list(list, sym);
172 static inline void add_statement(struct statement_list **list, struct statement *stmt)
174 add_ptr_list(list, stmt);
177 static inline void add_expression(struct expression_list **list, struct expression *expr)
179 add_ptr_list(list, expr);
182 #define hashval(x) ((unsigned long)(x))
184 #endif