diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-04-06 15:04:40 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-04-06 15:04:40 +0200 |
commit | ebaac5077c279ae07d973e38e13fdb519a3f007c (patch) | |
tree | 5153759c71cd2c6e64ff23b103a969fe672d52cd /test/cminor/switchtbl.cm | |
parent | 2ed2dceef799867bf3dcf971fdf059d2b9ee2130 (diff) | |
download | compcert-ebaac5077c279ae07d973e38e13fdb519a3f007c.tar.gz compcert-ebaac5077c279ae07d973e38e13fdb519a3f007c.zip |
Check for type compatibility when initializing TInt arrays with wide strings (ยง6.7.8), bug 18000
Diffstat (limited to 'test/cminor/switchtbl.cm')
0 files changed, 0 insertions, 0 deletions