From cd34661afc61d234fc9bb1410d0974f62ac5a7b2 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 27 Apr 2018 11:16:00 +0200
Subject: Also check statement of label statement.

---
 cparser/Elab.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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