1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/case-const-3.c b/gcc/testsuite/gcc.dg/case-const-3.c
new file mode 100644
index 00000000000..7224cca47d7
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/case-const-3.c
@@ -0,0 +1,15 @@
+/* Test for case labels not integer constant expressions but folding
+   to integer constants (used in Linux kernel, PR 39613).  */
+/* { dg-do compile } */
+/* { dg-options "-pedantic-errors" } */
+
+extern int i;
+void
+f (int c)
+{
+  switch (c)
+    {
+    case (1 ? 1 : i): /* { dg-error "case label is not an integer constant expression" } */
+      ;
+    }
+}