diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-04-23 11:25:03 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-27 13:54:38 +0200 |
| commit | b1dbe72eacb731f193ac475ac1d14a20a832b8aa (patch) | |
| tree | 865ec8a82f48a733e9f248fc27559f66ab62f709 /.gitignore | |
| parent | 6f5eec9f5f1ad4567186172a4519e598af801b94 (diff) | |
| download | compcert-b1dbe72eacb731f193ac475ac1d14a20a832b8aa.tar.gz compcert-b1dbe72eacb731f193ac475ac1d14a20a832b8aa.zip | |
Detect duplicate 'case' or 'default' statements within a 'switch'
Report an error in this case.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions