diff options
| -rw-r--r-- | cfrontend/C2C.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index f9501439..118b6d2d 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -875,8 +875,6 @@ let rec convertStmt ploc env s = Scontinue | C.Sswitch(e, s1) -> let (init, cases) = groupSwitch (flattenSwitch s1) in - if cases = [] then - unsupported "ill-formed 'switch' statement"; if init.sdesc <> C.Sskip then warning "ignored code at beginning of 'switch'"; let te = convertExpr env e in |