diff options
Diffstat (limited to 'cparser')
-rw-r--r-- | cparser/Cerrors.ml | 1 | ||||
-rw-r--r-- | cparser/Elab.ml | 4 |
2 files changed, 3 insertions, 2 deletions
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; diff --git a/cparser/Elab.ml b/cparser/Elab.ml index f82ae176..b6418217 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -843,9 +843,9 @@ and elab_struct_or_union_info keep_ty kind loc env members attrs = (* Warn for empty structs or unions *) if m = [] then if kind = Struct then begin - warning loc Celeven_extension "anonymous structs are a C11 extension" + warning loc Gnu_empty_struct "empty struct is a GNU extension" end else begin - fatal_error loc "anonymous unions are a C11 extension" + fatal_error loc "empty union is a GNU extension" end; (composite_info_def env' kind attrs m, env') |