diff --git a/frama_Clang_register.ml b/frama_Clang_register.ml index 37f0ada639652e956865793986ae0a88c5a66024..d51c0d500030b2164dc7eb1ec766847b9aadb8be 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 =