diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-01-19 14:15:13 -0500 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-01-23 17:56:41 +0100 |
commit | 3845996aa69a8386d438265add80b5b66116eeaa (patch) | |
tree | c4253bb07f532c3a28646ce330edf1c70de4defe /backend/Tailcall.v | |
parent | fc79b13a30f124e9ac2d658773c395e0a74e2d1e (diff) | |
download | compcert-3845996aa69a8386d438265add80b5b66116eeaa.tar.gz compcert-3845996aa69a8386d438265add80b5b66116eeaa.zip |
C2C: wrong handling of typedefs to enums in bit fields
Fixes: #472
Diffstat (limited to 'backend/Tailcall.v')
0 files changed, 0 insertions, 0 deletions