diff --git a/Makefile b/Makefile index 66999186fdc287c09277b0bea9b0017df1bbd502..b965f9d530987c4015369de2102a6834bee956b0 100644 --- a/Makefile +++ b/Makefile @@ -45,6 +45,7 @@ PLUGIN_GENERATED:= \ else PLUGIN_GENERATED:= endif +PLUGIN_DEPENDENCIES:= wp ifeq ("$(RUN_TESTS)","yes") PLUGIN_TESTS_DIRS:=basic stl class val_analysis template specs exn pp ppwp bugs da else diff --git a/configure.ac b/configure.ac index 41df93399eb2577b36acc3ff1d940683592af055..aed9b95d19c8b697693651dbad93b75169e8dcb1 100644 --- a/configure.ac +++ b/configure.ac @@ -37,6 +37,7 @@ check_plugin([frama_clang],PLUGIN_RELATIVE_PATH(plugin_file), [C++ front-end for Frama-C],yes) plugin_require_external(frama_clang,camlp5o) +plugin_use(frama_clang,wp) # check for system C++ compiler, as we can't rely on clang++ itself because # of potential incompatibilities with GNU libstdc++ v5. diff --git a/frama_Clang_register.ml b/frama_Clang_register.ml index 1af18d65015e6fdff8147bea0b091c8bbf3f4279..37f0ada639652e956865793986ae0a88c5a66024 100644 --- a/frama_Clang_register.ml +++ b/frama_Clang_register.ml @@ -176,6 +176,10 @@ let parse_cxx file = let cxx_suffixes = [ ".cpp"; ".C"; ".cxx"; ".c++"; ".cc"; ".ii" ] +let remove_wp_assigns_warning () = + Wp.Wp_parameters.set_warn_status Wp.AssignsCompleteness.wkey_pedantic Log.Winactive + let () = + remove_wp_assigns_warning () ; List.iter (fun suf -> File.new_file_type suf parse_cxx) cxx_suffixes