diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-06-26 13:10:59 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-06-26 13:10:59 +0200 |
commit | 0d8e0e7b5df776f5e4e4379c41eae7c16acc8bf7 (patch) | |
tree | 92ce5178c5dc604793bfc78a6ed521e527abef10 /test/.gitignore | |
parent | cb15f6b0c32328f4da74af872f9d54ebcab0d654 (diff) | |
download | compcert-0d8e0e7b5df776f5e4e4379c41eae7c16acc8bf7.tar.gz compcert-0d8e0e7b5df776f5e4e4379c41eae7c16acc8bf7.zip |
Check also the discarded part of the switch statements for cases outside of an switch to bail out on earlier on unstructured switch.
Diffstat (limited to 'test/.gitignore')
0 files changed, 0 insertions, 0 deletions