blob: 042c02aa7bdeb5c29a8e4b953631a25aa1b656ab (
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
|
/* { dg-do compile } */
/* { dg-options "-Wjump-misses-init -std=c99" } */
extern void f1 ();
int
f2 (int a)
{
switch (a) /* { dg-message "switch" } */
{
case 1:
f1 ();
int v2 = 3; /* { dg-message "here" } */
case 2: /* { dg-warning "jump" } */
if (v2 == 7)
f1 ();
}
return 0;
}
int
f3 (int i)
{
if (i)
goto bad; /* { dg-warning "jump" } */
int a = f2 (i); /* { dg-message "here" } */
bad: /* { dg-message "here" } */
return a;
}
int
f4 (int a)
{
switch (a)
{
case 1:
f1 ();
static int v2 = 3;
case 2:
if (v2 == 7)
f1 ();
}
return 0;
}
int
f5 (int i)
{
if (i)
goto bad;
static int a = 6;
bad:
return a;
}
|