blob: 145af657a76c2dfaa16453cc8a45c7c5f713eb74 (
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
|
/* PR tree-optimization/59970 - Bogus -Wmaybe-uninitialized at low optimization
levels
{ dg-do compile }
{ dg-options "-Wall" } */
#pragma GCC push_options
#pragma GCC optimize ("1")
__attribute__ ((noipa)) int
d_demangle_callback_O1 (const char *mangled)
{
enum { DCT_TYPE, DCT_GLOBAL_DTORS } type;
int dc;
/* Fails for -Og and -O1. */
if (mangled)
type = DCT_GLOBAL_DTORS;
else
type = DCT_TYPE;
/* If both cases assign the same value, all is fine. */
switch (type)
{
case DCT_TYPE:
dc = 0 /* 1 */;
break;
case DCT_GLOBAL_DTORS:
dc = /* 0 */ 1;
break;
/* If this is added, all is fine. */
#ifdef ABORT
default:
__builtin_unreachable ();
#endif
}
return dc; // { dg-bogus "uninitialized" }
}
#pragma GCC pop_options
#pragma GCC optimize ("Og")
__attribute__ ((noipa)) int
d_demangle_callback_Og (const char *mangled)
{
enum { DCT_TYPE, DCT_GLOBAL_DTORS } type;
int dc;
/* Fails for -Og. */
/* Removing either the function call or the array dereference, it'll be like
the TOGGLE1 case. */
extern int cmp (void);
if (cmp () && mangled[0])
type = DCT_GLOBAL_DTORS;
else
type = DCT_TYPE;
/* If both cases assign the same value, all is fine. */
switch (type)
{
case DCT_TYPE:
dc = 0 /* 1 */;
break;
case DCT_GLOBAL_DTORS:
dc = /* 0 */ 1;
break;
/* If this is added, all is fine. */
#ifdef ABORT
default:
__builtin_unreachable ();
#endif
}
return dc; // { dg-bogus "uninitialized" }
}
|
