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
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
/* PR middle-end/101977 - bogus -Warray-bounds on a negative index into
a parameter in conditional with null
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
struct A { int i; };
struct B { struct A a1; struct A a2; };
void nowarn_p_0_0 (struct A *p, int i)
{
struct A *q = i < 0 ? p : 0 < i ? (struct A*)0 : 0;
struct B *r = (struct B*)((char *)q - __builtin_offsetof (struct B, a2));
r->a1.i = 0;
}
void nowarn_0_p_0 (struct A *p, int i)
{
struct A *q = i < 0 ? 0 : 0 < i ? p : 0;
struct B *r = (struct B*)((char *)q - __builtin_offsetof (struct B, a2));
r->a1.i = 0; // { dg-bogus "-Warray-bounds" }
}
void nowarn_0_0_p (struct A *p, int i)
{
struct A *q = i < 0 ? 0 : 0 < i ? 0 : p;
struct B *r = (struct B*)((char *)q - __builtin_offsetof (struct B, a2));
r->a1.i = 0; // { dg-bogus "-Warray-bounds" }
}
void nowarn_p_q_0 (struct A *p, struct A *q, int i)
{
struct A *r = i < 0 ? p : 0 < i ? q : 0;
struct B *s = (struct B*)((char *)r - __builtin_offsetof (struct B, a2));
s->a1.i = 0; // { dg-bogus "-Warray-bounds" }
}
void nowarn_p_0_q (struct A *p, struct A *q, int i)
{
struct A *r = i < 0 ? p : 0 < i ? 0 : q;
struct B *s = (struct B*)((char *)r - __builtin_offsetof (struct B, a2));
s->a1.i = 0; // { dg-bogus "-Warray-bounds" }
}
void nowarn_0_p_q (struct A *p, struct A *q, int i)
{
struct A *r = i < 0 ? 0 : 0 < i ? p : q;
struct B *s = (struct B*)((char *)r - __builtin_offsetof (struct B, a2));
s->a1.i = 0;
}
void nowarn_p_q_r (struct A *p, struct A *q, struct A *r, int i)
{
struct A *s = i < 0 ? p : 0 < i ? q : r;
struct B *t = (struct B*)((char *)s - __builtin_offsetof (struct B, a2));
t->a1.i = 0;
}
extern struct B b1, b2, b3;
void nowarn_p_b1_0 (struct A *p, int i)
{
struct A *r = i < 0 ? p : 0 < i ? &b1.a2 : 0;
struct B *s = (struct B*)((char *)r - __builtin_offsetof (struct B, a2));
s->a1.i = 0; // { dg-bogus "-Warray-bounds" }
}
void nowarn_p_0_b1 (struct A *p, int i)
{
struct A *r = i < 0 ? p : 0 < i ? 0 : &b1.a2;
struct B *s = (struct B*)((char *)r - __builtin_offsetof (struct B, a2));
s->a1.i = 0; // { dg-bogus "-Warray-bounds" }
}
void nowarn_0_p_b1 (struct A *p, int i)
{
struct A *r = i < 0 ? 0 : 0 < i ? p : &b1.a2;
struct B *s = (struct B*)((char *)r - __builtin_offsetof (struct B, a2));
s->a1.i = 0;
}
void nowarn_p_b1_b2 (struct A *p, int i)
{
struct A *s = i < 0 ? p : 0 < i ? &b1.a2 : &b2.a2;
struct B *t = (struct B*)((char *)s - __builtin_offsetof (struct B, a2));
t->a1.i = 0;
}
void nowarn_b1_p_b2 (struct A *p, int i)
{
struct A *s = i < 0 ? &b1.a2 : 0 < i ? p : &b2.a2;
struct B *t = (struct B*)((char *)s - __builtin_offsetof (struct B, a2));
t->a1.i = 0;
}
void nowarn_b1_b2_p (struct A *p, int i)
{
struct A *s = i < 0 ? &b1.a2 : 0 < i ? &b2.a2 : p;
struct B *t = (struct B*)((char *)s - __builtin_offsetof (struct B, a2));
t->a1.i = 0;
}
void nowarn_b1_b2_b3 (struct A *p, int i)
{
struct A *s = i < 0 ? &b1.a2 : 0 < i ? &b2.a2 : &b3.a2;
struct B *t = (struct B*)((char *)s - __builtin_offsetof (struct B, a2));
t->a1.i = 0;
}
void nowarn_0_b1_b2 (int i)
{
struct A *s = i < 0 ? 0 : 0 < i ? &b1.a2 : &b2.a2;
struct B *t = (struct B*)((char *)s - __builtin_offsetof (struct B, a2));
t->a1.i = 0;
}
void warn_b1_0_b2 (int i)
{
struct A *s = i < 0 ? &b1.a2 : 0 < i ? 0 : &b2.a2;
struct B *t = (struct B*)((char *)s - __builtin_offsetof (struct B, a2));
t->a1.i = 0;
}
void warn_b1_b2_0 (int i)
{
struct A *s = i < 0 ? &b1.a2 : 0 < i ? &b2.a2 : 0;
struct B *t = (struct B*)((char *)s - __builtin_offsetof (struct B, a2));
t->a1.i = 0;
}
|
