diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-04-27 11:16:00 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-27 13:54:38 +0200 |
| commit | cd34661afc61d234fc9bb1410d0974f62ac5a7b2 (patch) | |
| tree | 58f5ef6f14f5c626aa17deb1eba4a837e8b0493a /cparser/Elab.ml | |
| parent | b1dbe72eacb731f193ac475ac1d14a20a832b8aa (diff) | |
| download | compcert-kvx-cd34661afc61d234fc9bb1410d0974f62ac5a7b2.tar.gz compcert-kvx-cd34661afc61d234fc9bb1410d0974f62ac5a7b2.zip | |
Also check statement of label statement.
Diffstat (limited to 'cparser/Elab.ml')
| -rw-r--r-- | cparser/Elab.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 219326c9..beb3e3cf 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -2595,7 +2595,8 @@ let check_switch_cases switch_body = Diagnostics.error s.sloc "multiple default labels in one switch" else default := true - end + end; + check s1 | Sgoto _ -> () | Sreturn _ -> () | Sblock sl -> List.iter check sl |