annotate gcc/testsuite/g++.dg/warn/Wswitch-unreachable-1.C @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // { dg-do compile }
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 extern int j;
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 void
kono
parents:
diff changeset
6 f (int i)
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 switch (i) // { dg-warning "statement will never be executed" }
kono
parents:
diff changeset
9 {
kono
parents:
diff changeset
10 try
kono
parents:
diff changeset
11 {
kono
parents:
diff changeset
12 }
kono
parents:
diff changeset
13 catch (...)
kono
parents:
diff changeset
14 {
kono
parents:
diff changeset
15 }
kono
parents:
diff changeset
16 case 1:;
kono
parents:
diff changeset
17 }
kono
parents:
diff changeset
18 }
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 void
kono
parents:
diff changeset
21 g (int i)
kono
parents:
diff changeset
22 {
kono
parents:
diff changeset
23 switch (i)
kono
parents:
diff changeset
24 {
kono
parents:
diff changeset
25 try
kono
parents:
diff changeset
26 {
kono
parents:
diff changeset
27 j = 42; // { dg-warning "statement will never be executed" }
kono
parents:
diff changeset
28 }
kono
parents:
diff changeset
29 catch (...)
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 }
kono
parents:
diff changeset
32 case 1:;
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34 }