(*****************************************************************************)
-(* convenient globals to pass to parse_c.init_defs *)
+(* convenient globals. *)
(*****************************************************************************)
-let path = Filename.concat (Sys.getenv "HOME") "coccinelle"
-let std_h = ref (Filename.concat path "standard.h")
+let path = ref
+ (try (Sys.getenv "YACFE_HOME")
+ with Not_found-> "/home/pad/c-yacfe"
+ )
-let cmdline_flags_macrofile () =
+(*****************************************************************************)
+(* macros *)
+(*****************************************************************************)
+
+let macro_dir = "config/macros/"
+let mk_macro_path ~cocci_path file =
+ Filename.concat cocci_path (macro_dir ^ file)
+
+
+(* to pass to parse_c.init_defs *)
+let std_h = ref (mk_macro_path ~cocci_path:!path "standard.h")
+let common_h = ref (mk_macro_path ~cocci_path:!path "common_macros.h")
+
+
+let cmdline_flags_macrofile () =
[
- "-macro_file", Arg.Set_string std_h,
+ "-macro_file_builtins", Arg.Set_string std_h,
" <file> (default=" ^ !std_h ^ ")";
- "-D", Arg.Set_string std_h,
- " short option of -macro_file";
]
+
+(*****************************************************************************)
+(* used only by cpp_ast_c, not by the parser *)
+(*****************************************************************************)
+let cpp_i_opts = ref []
+let cpp_d_opts = ref []
+
+let cmdline_flags_cpp () = [
+ "-D", Arg.String (fun s -> Common.push2 s cpp_d_opts),
+ " <x=y>";
+ "-I", Arg.String (fun s -> Common.push2 s cpp_i_opts),
+ " <dir>"
+ ]
+
+(*****************************************************************************)
+(* types *)
+(*****************************************************************************)
+let std_envir = ref (Filename.concat !path "config/envos/environment_splint.h")
+
+let cmdline_flags_envfile () =
+ [
+ "-env_file", Arg.Set_string std_envir,
+ " <file> (default=" ^ !std_envir ^ ")";
+ ]
+
+(*****************************************************************************)
+(* show *)
+(*****************************************************************************)
+
+let show_parsing_error = ref true
+
(*****************************************************************************)
(* verbose *)
(*****************************************************************************)
let verbose_lexing = ref true
let verbose_parsing = ref true
let verbose_type = ref true
+let verbose_cfg = ref true
+let verbose_annotater = ref true
+let verbose_unparsing = ref true
+let verbose_visit = ref true
+let verbose_cpp_ast = ref true
let filter_msg = ref false
+let filter_msg_define_error = ref false
+
let filter_define_error = ref false
-let filter_classic_passed = ref false
+
+let filter_passed_level = ref 0
let pretty_print_type_info = ref false
+let pretty_print_comment_info = ref false
+let pretty_print_typedef_value = ref false
(* cocci specific *)
let show_flow_labels = ref true
-let cmdline_flags_verbose () =
+let cmdline_flags_verbose () =
[
- "-no_parse_error_msg", Arg.Clear verbose_parsing, " ";
"-no_verbose_parsing", Arg.Clear verbose_parsing , " ";
"-no_verbose_lexing", Arg.Clear verbose_lexing , " ";
+ "-no_verbose_annotater", Arg.Clear verbose_annotater , " ";
+
+ "-no_parse_error_msg", Arg.Clear verbose_parsing, " ";
"-no_type_error_msg", Arg.Clear verbose_type, " ";
-
-
- "-filter_msg", Arg.Set filter_msg ,
+
+
+ "-filter_msg", Arg.Set filter_msg ,
" filter some cpp message when the macro is a \"known\" cpp construct";
- "-filter_define_error",Arg.Set filter_define_error," ";
- "-filter_classic_passed",Arg.Set filter_classic_passed," ";
+ "-filter_msg_define_error",Arg.Set filter_msg_define_error,
+ " filter the error msg";
+
+ "-filter_define_error",Arg.Set filter_define_error,
+ " filter the error, which will not be added in the stat";
+ "-filter_passed_level",Arg.Set_int filter_passed_level," ";
]
let debug_typedef = ref false
let debug_cpp = ref false
+let debug_cpp_ast = ref false
+
let debug_unparsing = ref false
let debug_cfg = ref false
(* "debug C parsing/unparsing", "" *)
-let cmdline_flags_debugging () =
+let cmdline_flags_debugging () =
[
"-debug_cpp", Arg.Set debug_cpp, " ";
"-debug_lexer", Arg.Set debug_lexer , " ";
]
(*****************************************************************************)
-(* change algo *)
+(* checks *)
(*****************************************************************************)
-let ifdef_to_if = ref false
-let if0_passing = ref true
-let add_typedef_root = ref true
+let check_annotater = ref true
+let cmdline_flags_checks () =
+ [
+ "-disable_check_annotater", Arg.Clear check_annotater, " ";
+ "-enable_check_annotater", Arg.Set check_annotater, " ";
+ ]
+
+(*****************************************************************************)
+(* change algo *)
+(*****************************************************************************)
(* cocci specific *)
let label_strategy_2 = ref false
let cmdline_flags_algos () =
[
- "-ifdef", Arg.Set ifdef_to_if,
- " convert ifdef to if (buggy!)";
- "-noif0_passing", Arg.Clear if0_passing,
+ "-l1", Arg.Clear label_strategy_2, " ";
+ ]
+
+(*****************************************************************************)
+(* Disable parsing feature (for CC09 and also to see if useful) *)
+(*****************************************************************************)
+
+let cpp_directive_passing = ref false
+let ifdef_directive_passing = ref false
+
+let disable_multi_pass = ref false
+let disable_add_typedef = ref false
+
+let if0_passing = ref true
+let add_typedef_root = ref true
+
+let cmdline_flags_parsing_algos () = [
+
+ "-directive_passing", Arg.Set cpp_directive_passing,
+ " pass most cpp directives, especially when inside function";
+ "-ifdef_passing", Arg.Set ifdef_directive_passing,
+ " pass ifdef directives ";
+
+ "-noif0_passing", Arg.Clear if0_passing,
" ";
"-noadd_typedef_root", Arg.Clear add_typedef_root, " ";
+ "-noadd_typedef", Arg.Set disable_add_typedef, " ";
- "-l1", Arg.Clear label_strategy_2, " ";
- ]
+ "-disable_multi_pass", Arg.Set disable_multi_pass, " ";
+]
(*****************************************************************************)
(* other *)
(* for parse_c *)
let use_cache = ref false
-let cmdline_flags_other () =
+let cmdline_flags_other () =
[
- "-U", Arg.Int (fun n -> diff_lines := Some (Common.i_to_s n)),
+ "-U", Arg.Int (fun n -> diff_lines := Some (Common.i_to_s n)),
" set number of diff context lines";
-
- "-use_cache", Arg.Set use_cache,
+
+ "-use_cache", Arg.Set use_cache,
" use .ast_raw pre-parsed cached C file";
]
+(*****************************************************************************)
+(* for lexing of integer constants *)
+(*****************************************************************************)
+
+let int_thresholds =
+ ref (None :
+ (int (*int_sz*) * int (*long_sz*) *
+ Big_int.big_int (*uint threshold*) *
+ Big_int.big_int (*long threshold*) *
+ Big_int.big_int (*ulong threshold*)) option)
+
+let set_int_bits n =
+ match !int_thresholds with
+ None ->
+ (*assume long is 2*int; this can be corrected by a subsequent long_bits*)
+ let uint_threshold = Big_int.power_int_positive_int 2 (n-1) in
+ let long_threshold = Big_int.power_int_positive_int 2 n in
+ let ulong_threshold = Big_int.power_int_positive_int 2 ((2*n)-1) in
+ int_thresholds :=
+ Some (n,2*n,uint_threshold,long_threshold,ulong_threshold)
+ | Some(int_sz,long_sz,uint_threshold,long_threshold,ulong_threshold) ->
+ let uint_threshold = Big_int.power_int_positive_int 2 (n-1) in
+ let long_threshold = Big_int.power_int_positive_int 2 n in
+ int_thresholds :=
+ Some (n,long_sz,uint_threshold,long_threshold,ulong_threshold)
+
+let set_long_bits n =
+ match !int_thresholds with
+ None ->
+ (*assume int is 1/2*int; this can be corrected by a subsequent int_bits*)
+ set_int_bits (n/2)
+ | Some(int_sz,long_sz,uint_threshold,long_threshold,ulong_threshold) ->
+ let ulong_threshold = Big_int.power_int_positive_int 2 (n-1) in
+ int_thresholds :=
+ Some (int_sz,n,uint_threshold,long_threshold,ulong_threshold)
+
+(*****************************************************************************)
+(* unparsing strategy *)
+(*****************************************************************************)
+
+type spacing = LINUX | SMPL
+let spacing = ref LINUX
+
+let set_linux_spacing _ = spacing := LINUX (*follow the conventions of Linux*)
+let set_smpl_spacing _ = spacing := SMPL (*use spacing from the SP*)
+
+let max_width = 78
(*****************************************************************************)
+(* drop back edges made by proper loop constructs -
+ unsafe but more efficient *)
+let no_loops = ref false
+let no_gotos = ref false
+
+let keep_comments = ref false (* unparsing *)
HCoop / bpt / coccinelle.git / blobdiff