annotate gcc/testsuite/c-c++-common/Wswitch-unreachable-2.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR c/71249 */
kono
parents:
diff changeset
2 /* { dg-do compile } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 int
kono
parents:
diff changeset
5 f (int i)
kono
parents:
diff changeset
6 {
kono
parents:
diff changeset
7 switch (i)
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 {
kono
parents:
diff changeset
10 int j;
kono
parents:
diff changeset
11 foo:
kono
parents:
diff changeset
12 return i; /* { dg-bogus "statement will never be executed" } */
kono
parents:
diff changeset
13 };
kono
parents:
diff changeset
14 case 3:
kono
parents:
diff changeset
15 goto foo;
kono
parents:
diff changeset
16 }
kono
parents:
diff changeset
17 return i;
kono
parents:
diff changeset
18 }