blob: 1907bac27221d9ada069cdfb581f3c14e6d9ea6b (
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
|
/* PR middle-end/91458 - inconsistent warning for writing past the end
of an array member
Verify that the -Wstringop-overflow detection doesn't cause an ICE
for either kind of VLAs (member and non-member).
Diagnosing the accesses is the subject of pr82608.
{ dg-do compile }
{ dg-options "-O2 -Wall -Wno-array-bounds" }
{ dg-require-effective-target alloca } */
void sink (void*);
void vla_unbounded (int n)
{
char a[n];
a[0] = 0;
a[1] = 1;
a[n] = n; // { dg-warning "\\\[-Wstringop-overflow" "pr82608" { xfail *-*-* } }
sink (&a);
}
void vla_bounded (int n)
{
if (n > 32)
n = 32;
char a[n];
a[0] = 0;
a[1] = 1;
a[n] = n; // { dg-warning "\\\[-Wstringop-overflow" "pr82608" { xfail *-*-* } }
a[69] = n; // { dg-warning "\\\[-Wstringop-overflow" "pr82608" { xfail *-*-* } }
sink (&a);
}
void member_vla_unbounded (int n)
{
struct S { char i, a[n]; } s;
s.a[0] = 0;
s.a[1] = 1;
s.a[n] = n; // { dg-warning "\\\[-Wstringop-overflow" "pr82608" { xfail *-*-* } }
sink (&s);
}
void member_vla_bounded (int n)
{
if (n > 32)
n = 32;
struct S { char i, a[n]; } s;
s.a[0] = 0;
s.a[1] = 1;
s.a[n] = n; // { dg-warning "\\\[-Wstringop-overflow" "pr82608" { xfail *-*-* } }
s.a[69] = n; // { dg-warning "\\\[-Wstringop-overflow" "pr82608" { xfail *-*-* } }
sink (&s);
}
|
