From e346f0da710591690fc6b94f921fb5a39a11c7bf Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 21 Sep 2016 16:07:22 +0200 Subject: Make unnamed default + correct empty struct warning. Bug 18004 --- cparser/Cerrors.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'cparser/Cerrors.ml') diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml index f95188e8..dc0258a5 100644 --- a/cparser/Cerrors.ml +++ b/cparser/Cerrors.ml @@ -70,6 +70,7 @@ type warning_type = | CompCert_conformance let active_warnings: warning_type list ref = ref [ + Unnamed; Unknown_attribute; Celeven_extension; Gnu_empty_struct; -- cgit