diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-22 17:36:41 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-22 17:36:41 +0100 |
commit | c2ec127c0ae164d09d5952131dfaea9596e2c61d (patch) | |
tree | 10cd8bba0ff378b00db5c2249086fd09f02913e1 /driver/Complements.v | |
parent | 252a3b44b1cda99344a7554d1d770cabc47a3102 (diff) | |
download | compcert-c2ec127c0ae164d09d5952131dfaea9596e2c61d.tar.gz compcert-c2ec127c0ae164d09d5952131dfaea9596e2c61d.zip |
Warning for decls without name in composites.
The warning missing declarations is now also triggered for
declarations without name in field lists of composite types if
the declaration is not an anonymous composite or a bitfield member.
Diffstat (limited to 'driver/Complements.v')
0 files changed, 0 insertions, 0 deletions