diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-05-06 09:36:35 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-05-06 09:36:35 +0200 |
| commit | 8610d8faad033d957509ceaa2b5c16b5a466e5a9 (patch) | |
| tree | 2eaaa3b332837501a2d24d896d2d4c1f8714152f /test/regression/Results | |
| parent | 4920f93e4f933c8616a3376da5264d63bd58afdc (diff) | |
| download | compcert-8610d8faad033d957509ceaa2b5c16b5a466e5a9.tar.gz compcert-8610d8faad033d957509ceaa2b5c16b5a466e5a9.zip | |
Enum is only compatible with IInt.
Enum types should only be compatible with the underlying integer type,
not all integer types.
Bug 33212
Diffstat (limited to 'test/regression/Results')
0 files changed, 0 insertions, 0 deletions