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 /driver/Complements.v | |
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 'driver/Complements.v')
0 files changed, 0 insertions, 0 deletions