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/Cerrors.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/Cerrors.ml')
| -rw-r--r-- | cparser/Cerrors.ml | 1 |
1 files changed, 1 insertions, 0 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; |