dereferences_param: mark more parameters as dereferenced
[smatch.git] / options.h
blob7fd01ec6cebe4f93515394b637e65086c1267304
1 #ifndef OPTIONS_H
2 #define OPTIONS_H
4 enum {
5 CMODEL_UNKNOWN,
6 CMODEL_KERNEL,
7 CMODEL_LARGE,
8 CMODEL_MEDANY,
9 CMODEL_MEDIUM,
10 CMODEL_MEDLOW,
11 CMODEL_PIC,
12 CMODEL_SMALL,
13 CMODEL_TINY,
14 CMODEL_LAST,
17 enum standard {
18 STANDARD_NONE,
19 STANDARD_GNU,
20 STANDARD_C89,
21 STANDARD_GNU89 = STANDARD_C89 | STANDARD_GNU,
22 STANDARD_C94,
23 STANDARD_GNU94 = STANDARD_C94 | STANDARD_GNU,
24 STANDARD_C99,
25 STANDARD_GNU99 = STANDARD_C99 | STANDARD_GNU,
26 STANDARD_C11,
27 STANDARD_GNU11 = STANDARD_C11 | STANDARD_GNU,
28 STANDARD_C17,
29 STANDARD_GNU17 = STANDARD_C17 | STANDARD_GNU,
32 extern int die_if_error;
33 extern int do_output;
34 extern int gcc_major;
35 extern int gcc_minor;
36 extern int gcc_patchlevel;
37 extern int optimize_level;
38 extern int optimize_size;
39 extern int preprocess_only;
40 extern int preprocessing;
41 extern int repeat_phase;
42 extern int verbose;
44 extern int cmdline_include_nr;
45 extern char *cmdline_include[];
47 extern const char *base_filename;
48 extern const char *diag_prefix;
49 extern const char *gcc_base_dir;
50 extern const char *multiarch_dir;
51 extern const char *outfile;
53 extern enum standard standard;
54 extern unsigned int tabstop;
56 extern int arch_big_endian;
57 extern int arch_cmodel;
58 extern int arch_fp_abi;
59 extern int arch_m64;
60 extern int arch_msize_long;
61 extern int arch_os;
63 extern int dbg_compound;
64 extern int dbg_dead;
65 extern int dbg_domtree;
66 extern int dbg_entry;
67 extern int dbg_ir;
68 extern int dbg_postorder;
70 extern int dump_macro_defs;
71 extern int dump_macros_only;
73 extern unsigned long fdump_ir;
74 extern int fhosted;
75 extern unsigned int fmax_warnings;
76 extern int fmem_report;
77 extern unsigned long long fmemcpy_max_count;
78 extern unsigned long fpasses;
79 extern int fpic;
80 extern int fpie;
81 extern int fshort_wchar;
82 extern int funsigned_char;
84 extern int Waddress;
85 extern int Waddress_space;
86 extern int Wbitwise;
87 extern int Wbitwise_pointer;
88 extern int Wcast_from_as;
89 extern int Wcast_to_as;
90 extern int Wcast_truncate;
91 extern int Wconstant_suffix;
92 extern int Wconstexpr_not_const;
93 extern int Wcontext;
94 extern int Wdecl;
95 extern int Wdeclarationafterstatement;
96 extern int Wdefault_bitfield_sign;
97 extern int Wdesignated_init;
98 extern int Wdo_while;
99 extern int Wenum_mismatch;
100 extern int Wexternal_function_has_definition;
101 extern int Wimplicit_int;
102 extern int Winit_cstring;
103 extern int Wint_to_pointer_cast;
104 extern int Wmemcpy_max_count;
105 extern int Wnewline_eof;
106 extern int Wnon_pointer_null;
107 extern int Wold_initializer;
108 extern int Wold_style_definition;
109 extern int Wone_bit_signed_bitfield;
110 extern int Woverride_init;
111 extern int Woverride_init_all;
112 extern int Woverride_init_whole_range;
113 extern int Wparen_string;
114 extern int Wpedantic;
115 extern int Wpointer_arith;
116 extern int Wpointer_to_int_cast;
117 extern int Wptr_subtraction_blows;
118 extern int Wreturn_void;
119 extern int Wshadow;
120 extern int Wshift_count_negative;
121 extern int Wshift_count_overflow;
122 extern int Wsizeof_bool;
123 extern int Wsparse_error;
124 extern int Wstrict_prototypes;
125 extern int Wtautological_compare;
126 extern int Wtransparent_union;
127 extern int Wtypesign;
128 extern int Wundef;
129 extern int Wuninitialized;
130 extern int Wuniversal_initializer;
131 extern int Wunknown_attribute;
132 extern int Wvla;
134 extern char **handle_switch(char *arg, char **next);
135 extern void handle_switch_finalize(void);
137 #endif