From b437ad09bcfb97c97d267698ab66ca394b100639 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 12 Oct 2020 14:28:39 +0200
Subject: [PATCH] Add C++ specific headers suffixes to the list triggering C++
 parsing

---
 frama_Clang_register.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/frama_Clang_register.ml b/frama_Clang_register.ml
index ebb6281a..15e6ed5b 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
-- 
GitLab