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/validator/Tuples.v | |
parent | 3b6a054a9a2f54e9c351a4d343331499453c39c5 (diff) | |
download | compcert-7d91167706b72103ddf9f4088cf02dd9761fdf47.tar.gz compcert-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/validator/Tuples.v')
0 files changed, 0 insertions, 0 deletions