diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-06-11 17:31:12 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-06-11 17:31:12 +0200 |
| commit | 702adfde11a7d44a78227de9d44f1038c8b57fdb (patch) | |
| tree | e8ec2be7fe7e844d2a9ed8553c4afd4f2bbf96e4 | |
| parent | 9622c474fd1b51ed7cf29eb7c5ecff5279ac1c73 (diff) | |
| download | compcert-kvx-702adfde11a7d44a78227de9d44f1038c8b57fdb.tar.gz compcert-kvx-702adfde11a7d44a78227de9d44f1038c8b57fdb.zip | |
Turn the error on anonymous structs/unions into a warning.
Otherwise we get too many errors on glibc's standard headers.
A real error will occur when the anonymous struct/union is accessed.
| -rw-r--r-- | cparser/Elab.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index bcf90f5e..aa015b83 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -640,7 +640,7 @@ and elab_field_group env (Field_group (spec, fieldlist, loc)) = error loc "non-default storage in struct or union"; if fieldlist = [] then if is_anonymous_composite spec then - error loc "ISO C99 does not support anonymous structs/unions" + warning loc "ISO C99 does not support anonymous structs/unions" else warning loc "declaration does not declare any members"; |