From 05f1cccccad587234c526225aa04aff041490051 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 6 Jan 2015 15:16:13 +0100
Subject: PR#19: there is no reason to reject an empty "switch" statement.

---
 cfrontend/C2C.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'cfrontend/C2C.ml')

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
-- 
cgit