1 (*****************************************************************************)
2 (* convenient globals. *)
3 (*****************************************************************************)
5 (try (Sys.getenv
"YACFE_HOME")
6 with Not_found
-> "/home/pad/c-yacfe"
9 (*****************************************************************************)
11 (*****************************************************************************)
13 let macro_dir = "config/macros/"
14 let mk_macro_path ~cocci_path file
=
15 Filename.concat cocci_path
(macro_dir ^ file
)
18 (* to pass to parse_c.init_defs *)
19 let std_h = ref (mk_macro_path ~cocci_path
:!path "standard.h")
20 let common_h = ref (mk_macro_path ~cocci_path
:!path "common_macros.h")
23 let cmdline_flags_macrofile () =
25 "-macro_file_builtins", Arg.Set_string
std_h,
26 " <file> (default=" ^
!std_h ^
")";
30 (*****************************************************************************)
31 (* used only by cpp_ast_c, not by the parser *)
32 (*****************************************************************************)
33 let cpp_i_opts = ref []
34 let cpp_d_opts = ref []
36 let cmdline_flags_cpp () = [
37 "-D", Arg.String
(fun s
-> Common.push2 s
cpp_d_opts),
39 "-I", Arg.String
(fun s
-> Common.push2 s
cpp_i_opts),
43 (*****************************************************************************)
45 (*****************************************************************************)
46 let std_envir = ref (Filename.concat
!path "config/envos/environment_splint.h")
48 let cmdline_flags_envfile () =
50 "-env_file", Arg.Set_string
std_envir,
51 " <file> (default=" ^
!std_envir ^
")";
54 (*****************************************************************************)
56 (*****************************************************************************)
58 let show_parsing_error = ref true
60 (*****************************************************************************)
62 (*****************************************************************************)
64 let verbose_lexing = ref true
65 let verbose_parsing = ref true
66 let verbose_type = ref true
67 let verbose_cfg = ref true
68 let verbose_annotater = ref true
69 let verbose_unparsing = ref true
70 let verbose_visit = ref true
71 let verbose_cpp_ast = ref true
73 let filter_msg = ref false
74 let filter_msg_define_error = ref false
76 let filter_define_error = ref false
78 let filter_passed_level = ref 0
80 let pretty_print_type_info = ref false
81 let pretty_print_comment_info = ref false
82 let pretty_print_typedef_value = ref false
85 let show_flow_labels = ref true
88 let cmdline_flags_verbose () =
90 "-no_verbose_parsing", Arg.Clear
verbose_parsing , " ";
91 "-no_verbose_lexing", Arg.Clear
verbose_lexing , " ";
92 "-no_verbose_annotater", Arg.Clear
verbose_annotater , " ";
94 "-no_parse_error_msg", Arg.Clear
verbose_parsing, " ";
95 "-no_type_error_msg", Arg.Clear
verbose_type, " ";
98 "-filter_msg", Arg.Set
filter_msg ,
99 " filter some cpp message when the macro is a \"known\" cpp construct";
100 "-filter_msg_define_error",Arg.Set
filter_msg_define_error,
101 " filter the error msg";
103 "-filter_define_error",Arg.Set
filter_define_error,
104 " filter the error, which will not be added in the stat";
105 "-filter_passed_level",Arg.Set_int
filter_passed_level," ";
109 (*****************************************************************************)
111 (*****************************************************************************)
113 let debug_lexer = ref false
114 let debug_etdt = ref false
115 let debug_typedef = ref false
116 let debug_cpp = ref false
118 let debug_cpp_ast = ref false
120 let debug_unparsing = ref false
122 let debug_cfg = ref false
124 (* "debug C parsing/unparsing", "" *)
125 let cmdline_flags_debugging () =
127 "-debug_cpp", Arg.Set
debug_cpp, " ";
128 "-debug_lexer", Arg.Set
debug_lexer , " ";
129 "-debug_etdt", Arg.Set
debug_etdt , " ";
130 "-debug_typedef", Arg.Set
debug_typedef, " ";
132 "-debug_cfg", Arg.Set
debug_cfg , " ";
133 "-debug_unparsing", Arg.Set
debug_unparsing, " ";
136 (*****************************************************************************)
138 (*****************************************************************************)
140 let check_annotater = ref true
141 let cmdline_flags_checks () =
143 "-disable_check_annotater", Arg.Clear
check_annotater, " ";
144 "-enable_check_annotater", Arg.Set
check_annotater, " ";
147 (*****************************************************************************)
149 (*****************************************************************************)
152 let label_strategy_2 = ref false
154 let cmdline_flags_algos () =
156 "-l1", Arg.Clear
label_strategy_2, " ";
159 (*****************************************************************************)
160 (* Disable parsing feature (for CC09 and also to see if useful) *)
161 (*****************************************************************************)
163 let cpp_directive_passing = ref false
164 let ifdef_directive_passing = ref false
166 let disable_multi_pass = ref false
167 let disable_add_typedef = ref false
169 let if0_passing = ref true
170 let add_typedef_root = ref true
172 let cmdline_flags_parsing_algos () = [
174 "-directive_passing", Arg.Set
cpp_directive_passing,
175 " pass most cpp directives, especially when inside function";
176 "-ifdef_passing", Arg.Set
ifdef_directive_passing,
177 " pass ifdef directives ";
179 "-noif0_passing", Arg.Clear
if0_passing,
181 "-noadd_typedef_root", Arg.Clear
add_typedef_root, " ";
182 "-noadd_typedef", Arg.Set
disable_add_typedef, " ";
184 "-disable_multi_pass", Arg.Set
disable_multi_pass, " ";
187 (*****************************************************************************)
189 (*****************************************************************************)
192 let diff_lines = ref (None
: string option) (* number of lines of context *)
195 let use_cache = ref false
197 let cmdline_flags_other () =
199 "-U", Arg.Int
(fun n
-> diff_lines := Some
(Common.i_to_s n
)),
200 " set number of diff context lines";
202 "-use_cache", Arg.Set
use_cache,
203 " use .ast_raw pre-parsed cached C file";
206 (*****************************************************************************)
207 (* for lexing of integer constants *)
208 (*****************************************************************************)
212 (int (*int_sz*) * int (*long_sz*) *
213 Big_int.big_int
(*uint threshold*) *
214 Big_int.big_int
(*long threshold*) *
215 Big_int.big_int
(*ulong threshold*)) option)
218 match !int_thresholds with
220 (*assume long is 2*int; this can be corrected by a subsequent long_bits*)
221 let uint_threshold = Big_int.power_int_positive_int
2 (n
-1) in
222 let long_threshold = Big_int.power_int_positive_int
2 n
in
223 let ulong_threshold = Big_int.power_int_positive_int
2 ((2*n
)-1) in
225 Some
(n
,2*n
,uint_threshold,long_threshold,ulong_threshold)
226 | Some
(int_sz
,long_sz
,uint_threshold,long_threshold,ulong_threshold) ->
227 let uint_threshold = Big_int.power_int_positive_int
2 (n
-1) in
228 let long_threshold = Big_int.power_int_positive_int
2 n
in
230 Some
(n
,long_sz
,uint_threshold,long_threshold,ulong_threshold)
232 let set_long_bits n
=
233 match !int_thresholds with
235 (*assume int is 1/2*int; this can be corrected by a subsequent int_bits*)
237 | Some
(int_sz
,long_sz
,uint_threshold,long_threshold,ulong_threshold) ->
238 let ulong_threshold = Big_int.power_int_positive_int
2 (n
-1) in
240 Some
(int_sz
,n
,uint_threshold,long_threshold,ulong_threshold)
242 (*****************************************************************************)
243 (* unparsing strategy *)
244 (*****************************************************************************)
246 type spacing
= LINUX
| SMPL
247 let spacing = ref LINUX
249 let set_linux_spacing _
= spacing := LINUX
(*follow the conventions of Linux*)
250 let set_smpl_spacing _
= spacing := SMPL
(*use spacing from the SP*)
252 (*****************************************************************************)