From 71ee7c80677c0bb7c41730d1c155e9141a7cde1a Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 14 Dec 2020 14:33:18 +0100
Subject: [PATCH] Follows a change in Frama-C
---
frama_Clang_register.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/frama_Clang_register.ml b/frama_Clang_register.ml
index 37f0ada..d51c0d5 100644
--- a/frama_Clang_register.ml
+++ b/frama_Clang_register.ml
@@ -139,7 +139,9 @@ let init_cxx_normalization () =
if not (Kernel.RemoveExn.is_set ()) then Kernel.RemoveExn.on ();
Convert_link.register_transformation ();
(* Current implementation of VMT is not compatible with this warning. *)
- Kernel.set_warn_status Kernel.wkey_incompatible_types_call Log.Winactive
+ Kernel.set_warn_status Kernel.wkey_incompatible_types_call Log.Winactive ;
+ (* C++ allows this *)
+ Cil.set_acceptEmptyCompinfo ()
end
let parse_cxx file =
--
GitLab