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 /powerpc/Op.v | |
parent | 83f812f9cee254606f96244a7808869b7802f309 (diff) | |
download | compcert-2f9932b8c5ff116d417c1e5197cd8e51f8d59b5e.tar.gz compcert-2f9932b8c5ff116d417c1e5197cd8e51f8d59b5e.zip |
Detect 'case' and 'default' outside a 'switch' statement
Report an error in this case.
Diffstat (limited to 'powerpc/Op.v')
0 files changed, 0 insertions, 0 deletions