diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-11-03 16:02:44 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-11-03 16:06:21 +0100 |
commit | 5a9f24b4e739b6ef830f526845dd4d1557d0adee (patch) | |
tree | aa8d94065cc5a6574ebeacb76a51155edd20103a /cparser/Parse.mli | |
parent | 8eadd08af4602de399a94313d4fb2b8980f7ceb0 (diff) | |
download | compcert-5a9f24b4e739b6ef830f526845dd4d1557d0adee.tar.gz compcert-5a9f24b4e739b6ef830f526845dd4d1557d0adee.zip |
Ignore debug statements before the first case of a `switch`
This can occur in debug mode if there are declarations before the
first case, as in
```
switch (x) {
int x;
case 0:
...
}
```
Without this commit, the code above is a structured switch if -g is not given,
and a non-structured switch if -g is given.
Co-authored-by: Michael Schmidt <github@mschmidt.me>
Diffstat (limited to 'cparser/Parse.mli')
0 files changed, 0 insertions, 0 deletions