diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-17 17:27:35 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-17 17:27:35 +0100 |
| commit | 5a2b261e9efdfb0d9fbc51cec8c1f5405679f2a0 (patch) | |
| tree | da1598d438cc1f0b3c41ad5bac10168d026cfb5d /runtime/arm | |
| parent | 5b9ce1dd0e0f22bd138ac7d43d25abf2f2011c7a (diff) | |
| download | compcert-5a2b261e9efdfb0d9fbc51cec8c1f5405679f2a0.tar.gz compcert-5a2b261e9efdfb0d9fbc51cec8c1f5405679f2a0.zip | |
Enum is compatible to its integer type.
The C standard specifies that an enum type should be compatible
to some integer type (ISO/IEC 9899:TC3 ยง6.7.2.2p4).
Fix 16692
Diffstat (limited to 'runtime/arm')
0 files changed, 0 insertions, 0 deletions