1 files changed, 41 insertions, 0 deletions
diff --git a/gcc/testsuite/c-c++-common/Wimplicit-fallthrough-20.c b/gcc/testsuite/c-c++-common/Wimplicit-fallthrough-20.c
new file mode 100644
index 00000000000..d37a840a0d9
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/Wimplicit-fallthrough-20.c
@@ -0,0 +1,41 @@
+/* PR c/7652 */
+/* { dg-do compile } */
+/* { dg-options "-Wimplicit-fallthrough" } */
+
+int
+f (int i)
+{
+  switch (i)
+    {
+    case -1:
+      __attribute__((fallthrough));
+    default:
+      __attribute__((fallthrough));
+    case 1:
+      return 6;
+    case 2 ... 4:
+      __attribute__((fallthrough));
+    case 5:
+      return 7;
+    }
+  return 0;
+}
+
+int
+g (int i)
+{
+  switch (i)
+    {
+    case -1:
+      __attribute__((used)); /* { dg-warning "ignored|only attribute" } */
+    default:
+      __attribute__((used)); /* { dg-warning "ignored|only attribute" } */
+    case 1:
+      return 6;
+    case 2 ... 4:
+      __attribute__((used)); /* { dg-warning "ignored|only attribute" } */
+    case 5:
+      return 7;
+    }
+  return 0;
+}