blob: fd2aacf64520566ab786fc2f854e9c0413cb3e9d (
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
|
/* Test -fstrict-flex-arrays + -Warray-bounds + -Wstrict-flex-arrays. */
/* { dg-do compile} */
/* { dg-options "-O2 -Wstrict-flex-arrays -fstrict-flex-arrays=1 -Warray-bounds" } */
struct trailing_array_1 {
int a;
int b;
int c[4];
};
struct trailing_array_2 {
int a;
int b;
int c[1];
};
struct trailing_array_3 {
int a;
int b;
int c[0];
};
struct trailing_array_4 {
int a;
int b;
int c[];
};
void __attribute__((__noinline__)) stuff(
struct trailing_array_1 *normal,
struct trailing_array_2 *trailing_1,
struct trailing_array_3 *trailing_0,
struct trailing_array_4 *trailing_flex)
{
normal->c[5] = 5; /*{ dg-warning "array subscript 5 is above array bounds of" } */
/*{ dg-warning "should not be used as a flexible array member" "" { target *-*-* } .-1 } */
trailing_1->c[2] = 2; /* { dg-bogus "array subscript " } */
trailing_0->c[1] = 1; /* { dg-bogus "array subscript " } */
trailing_flex->c[10] = 10; /* { dg-bogus "array subscript " } */
}
|
