diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-04-25 19:14:41 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-25 19:14:41 +0200 |
| commit | 7d91167706b72103ddf9f4088cf02dd9761fdf47 (patch) | |
| tree | 09e1f0518b66217de370c6c4119b66f35aedca99 /cparser/Ceval.mli | |
| parent | 3b6a054a9a2f54e9c351a4d343331499453c39c5 (diff) | |
| download | compcert-kvx-7d91167706b72103ddf9f4088cf02dd9761fdf47.tar.gz compcert-kvx-7d91167706b72103ddf9f4088cf02dd9761fdf47.zip | |
Check for enums that have the same tag as composites (#100)
Enum tags, struct tags and union tags share a common namespace, thus having
an enum with the same tag as a struct or union is not allowed.
Bug 23548
Diffstat (limited to 'cparser/Ceval.mli')
0 files changed, 0 insertions, 0 deletions