blob: c4e202ef3018a08af87d6d1e49f714ec8d5ab20c (
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
|
/* Test for non-lvalue arrays: test that qualifiers on non-lvalues
containing arrays do not remain when those arrays decay to
pointers. PR 35235. */
/* { dg-do compile } */
/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
int a;
void
f (void)
{
const struct {
int a[1];
} s;
int *p1 = s.a; /* { dg-error "qualifier" } */
int *p2 = (a ? s : s).a;
/* In this case, the qualifier is properly on the array element type
not on the rvalue structure and so is not discarded. */
struct {
const int a[1];
} t;
int *p3 = t.a; /* { dg-error "qualifier" } */
int *p4 = (a ? t : t).a; /* { dg-error "qualifier" } */
/* The issue could also lead to code being wrongly accepted. */
const struct {
int a[1][1];
} u;
const int (*p5)[1] = u.a;
const int (*p6)[1] = (a ? u : u).a; /* { dg-error "pointer" } */
}
|
