diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-21 16:07:22 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-21 16:07:22 +0200 |
commit | e346f0da710591690fc6b94f921fb5a39a11c7bf (patch) | |
tree | a072cc44b689263d116cb26affb2039a7901f593 /cparser/Elab.ml | |
parent | e77d3e706e056bb2cd58ae0a7cf6f97fb893ccae (diff) | |
download | compcert-e346f0da710591690fc6b94f921fb5a39a11c7bf.tar.gz compcert-e346f0da710591690fc6b94f921fb5a39a11c7bf.zip |
Make unnamed default + correct empty struct warning. Bug 18004
Diffstat (limited to 'cparser/Elab.ml')
-rw-r--r-- | cparser/Elab.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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') |