diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-30 15:39:44 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-30 15:39:44 +0200 |
| commit | 7dd10e861c7ecbe74a781a6050ae1341bbe45dcd (patch) | |
| tree | 0110b21a81832d422d7b0450476709cd2b017a0b /common/Events.v | |
| parent | 74c3e0e8615c2d943eae813b82b11cbfe74d4a82 (diff) | |
| download | compcert-kvx-7dd10e861c7ecbe74a781a6050ae1341bbe45dcd.tar.gz compcert-kvx-7dd10e861c7ecbe74a781a6050ae1341bbe45dcd.zip | |
Detect uses of anonymous structs/unions (a C2011 feature and GCC extension) and produce a diagnostic instead of ignoring them.
Diffstat (limited to 'common/Events.v')
0 files changed, 0 insertions, 0 deletions