aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/c-c++-common/Wswitch-unreachable-1.c
blob: ee6ecc1c37cf44f739afff5a370ee370877f8e88 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
/* PR c/49859 */
/* { dg-do compile } */

extern void foo (int);
extern int j;

void
fn0 (int i)
{
  switch (i)
    {
    int k;
    case 1:
      k = 11;
      foo (k);
    }

  switch (i)
    j = 10; /* { dg-warning "statement will never be executed" } */

  switch (i)
    ;

  switch (i)
    {
    j = 12; /* { dg-warning "statement will never be executed" } */
    default:
      foo (j);
    }

  int o;
  switch (i)
    {
    o = 333; /* { dg-warning "statement will never be executed" } */
    case 4: break;
    default:
      foo (o);
    }

  switch (i)
    switch (j) /* { dg-warning "statement will never be executed" } */
      {
      o = 42; /* { dg-warning "statement will never be executed" } */
      case 8:;
      }

  switch (i)
    {
      int l = 3; /* { dg-warning "statement will never be executed" } */
      o = 5;
      j = 7;
      ++l;
    }

  switch (i)
    {
      int x;
      int l = 3; /* { dg-warning "statement will never be executed" } */
      ++l, ++x;
    }

  switch (i)
    if (j != 3) /* { dg-warning "statement will never be executed" } */
      foo (j);

  switch (i)
    while (1)
     foo (0);

  switch (i)
    while (i > 5) { }

  switch (i)
    goto X; /* { dg-warning "statement will never be executed" } */
X:

  switch (i)
    do
      foo (1);
    while (1);

  switch (i)
    for (;;)
      foo (-1);

  switch (i)
    default:
      j = 6;

  switch (i)
    {
    typedef int T;
    case 3:
      {
	T x = 5;
	foo (x);
      }
    }

  switch (i)
    {
      static int g;
      default:
	foo (g);
    }

  switch (i)
    {
L:
      j = 16;
      default:
	if (j < 5)
	  goto L;
	break;
    }
}