diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-04-23 10:42:34 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-27 13:54:38 +0200 |
| commit | 2f9932b8c5ff116d417c1e5197cd8e51f8d59b5e (patch) | |
| tree | 282728aa13b82249f01269d5d70b5b6473b7e5dc /cparser/C.mli | |
| parent | 83f812f9cee254606f96244a7808869b7802f309 (diff) | |
| download | compcert-kvx-2f9932b8c5ff116d417c1e5197cd8e51f8d59b5e.tar.gz compcert-kvx-2f9932b8c5ff116d417c1e5197cd8e51f8d59b5e.zip | |
Detect 'case' and 'default' outside a 'switch' statement
Report an error in this case.
Diffstat (limited to 'cparser/C.mli')
0 files changed, 0 insertions, 0 deletions