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
|
/* Test that tablejump insns are correctly handled. If the compiler
loses track of the jump targets, it will report that x and y can be
used uninitialized.
This is broken in egcs 1998/10/06 for mips in pic mode. */
/* { dg-do assemble } */
/* For MIPS at least, pic is needed to trigger the problem. */
/* { dg-options "-w -Wuninitialized -Werror -fpic" } */
/* { dg-options "-w -Wuninitialized -Werror" { target { { rs6000-*-aix* powerpc*-*-aix* arm*-*-* fr30-*-* sh-*-hms h8300*-*-* cris-*-elf* mmix-*-* } || { ! fpic } } } } */
/* { dg-require-effective-target label_values } */
int foo (int a, int b)
{
__label__ z;
int x; /* { dg-bogus "warning: `.' might be used uninitialized in this function" } */
int y; /* { dg-bogus "warning: `.' might be used uninitialized in this function" } */
static void *p;
switch (a) {
case 2:
x = 4;
break;
case 4:
x = 6;
break;
case 8: case 10: case 13: case 11: case 17: case 19:
x = 7;
break;
default:
x = -1;
break;
}
switch (b) {
case 2:
y = 4;
break;
case 4:
y = 6;
break;
case 8: case 10: case 13: case 11: case 17: case 19:
y = 7;
break;
default:
y = -1;
break;
}
z:
p = &&z;
return x * y;
}
int main (int argc, char *argv[])
{
return 1 == foo (argc, argc + 1);
}
|
