diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-11-17 13:36:14 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-11-17 13:36:14 +0100 |
| commit | e0146901a2857e7ddaa249964cc49726c496d754 (patch) | |
| tree | c9d51866363dc5589e998d8ebf8adb922af1dbbb /cfrontend/Initializersproof.v | |
| parent | 4eb3efa2ccbf58c59a8d181c7d616b3d0c06e02b (diff) | |
| download | compcert-kvx-e0146901a2857e7ddaa249964cc49726c496d754.tar.gz compcert-kvx-e0146901a2857e7ddaa249964cc49726c496d754.zip | |
C2C: wrong translation of 'switch' over arguments of type 'long' if 'long' is 64 bits
It was wrongly assumed that 'long' is 32 bits.
(Reported by Michael Schmidt.)
Diffstat (limited to 'cfrontend/Initializersproof.v')
0 files changed, 0 insertions, 0 deletions