1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/stmt-expr-label-2.c b/gcc/testsuite/gcc.dg/stmt-expr-label-2.c
new file mode 100644
index 000000000..be7aa5210
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/stmt-expr-label-2.c
@@ -0,0 +1,27 @@
+/* Test for labels in statement expressions: bugs 772 and 17913.
+   switch statements must not jump into statement expressions.  */
+
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+void
+f (int a)
+{
+  switch (a) /* { dg-message "here" } */
+    {
+    case 0:
+    case 1:
+      ({
+      case 2: /* { dg-error "switch jumps into statement expression" } */
+      default: /* { dg-error "switch jumps into statement expression" } */
+	switch (a)
+	  {
+	  case 3:
+	  default:
+	    ;
+	  }
+	0;
+      });
+    }
+}