diff --git a/frama_Clang_register.ml b/frama_Clang_register.ml index ebb6281abfaad93c346314cc3d72cd4168cc143a..15e6ed5b200659d84a9ac743cf37fbc7a814122a 100644 --- a/frama_Clang_register.ml +++ b/frama_Clang_register.ml @@ -179,7 +179,10 @@ let parse_cxx file = Convert.remove_unneeded cil; (cil, cabs) -let cxx_suffixes = [ ".cpp"; ".C"; ".cxx"; ".c++"; ".cc"; ".ii" ] +let cxx_suffixes = + [ ".cpp"; ".C"; ".cxx"; ".c++"; ".cc"; ".ii"; + ".hpp"; ".H"; ".hxx"; ".h++"; ".hh" + ] let remove_wp_assigns_warning () = Wp.Wp_parameters.set_warn_status Wp.AssignsCompleteness.wkey_pedantic Log.Winactive