Skip to content
Snippets Groups Projects
Commit b437ad09 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Add C++ specific headers suffixes to the list triggering C++ parsing

parent 9b4523af
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 1 deletion
frama_Clang_register.ml
+ 4
− 1
View file @ b437ad09
...@@ -179,7 +179,10 @@ let parse_cxx file = ...@@ -179,7 +179,10 @@ let parse_cxx file =
Convert.remove_unneeded cil; Convert.remove_unneeded cil;
(cil, cabs) (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 () = let remove_wp_assigns_warning () =
Wp.Wp_parameters.set_warn_status Wp.AssignsCompleteness.wkey_pedantic Log.Winactive Wp.Wp_parameters.set_warn_status Wp.AssignsCompleteness.wkey_pedantic Log.Winactive
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment