aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gcc.dg/c99-array-lval-8.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gcc.dg/c99-array-lval-8.c')
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.dg/c99-array-lval-8.c30
1 files changed, 30 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/c99-array-lval-8.c b/gcc-4.9/gcc/testsuite/gcc.dg/c99-array-lval-8.c
new file mode 100644
index 000000000..c4e202ef3
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.dg/c99-array-lval-8.c
@@ -0,0 +1,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" } */
+}