Deactivate pedantic assigns warning in WP

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

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.

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