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 /LICENSE | |
| 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 'LICENSE')
0 files changed, 0 insertions, 0 deletions