obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 232 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/qual-component-1.c b/gcc/testsuite/gcc.dg/qual-component-1.c
new file mode 100644
index 000000000..dedc63f39
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/qual-component-1.c
@@ -0,0 +1,232 @@
+/* Test qualification of components of qualified structures or unions:
+   should have qualifiers from both the component and the structure or
+   union.  Bug 27697 from Frank Victor Fischer.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+struct s {
+  int a;
+  int b[1];
+  int c[2][3];
+  const int d;
+  const int e[1];
+  const int f[2][3];
+};
+
+union u {
+  int a;
+  int b[1];
+  int c[2][3];
+  const int d;
+  const int e[1];
+  const int f[2][3];
+};
+
+struct cs {
+  const struct s x;
+};
+
+struct s v1;
+union u *v2;
+const struct s *v3;
+const union u v4;
+struct cs v5;
+
+void
+f (void)
+{
+  v1.a = 0;
+  v1.b[0] = 0;
+  *v1.b = 0;
+  v1.c[0][0] = 0;
+  *v1.c[0] = 0;
+  **v1.c = 0;
+  v1.d = 0; /* { dg-error "assignment of read-only" } */
+  v1.e[0] = 0; /* { dg-error "assignment of read-only" } */
+  *v1.e = 0; /* { dg-error "assignment of read-only" } */
+  v1.f[0][0] = 0; /* { dg-error "assignment of read-only" } */
+  *v1.f[0] = 0; /* { dg-error "assignment of read-only" } */
+  **v1.f = 0; /* { dg-error "assignment of read-only" } */
+
+  v2->a = 0;
+  v2->b[0] = 0;
+  *v2->b = 0;
+  v2->c[0][0] = 0;
+  *v2->c[0] = 0;
+  **v2->c = 0;
+  v2->d = 0; /* { dg-error "assignment of read-only" } */
+  v2->e[0] = 0; /* { dg-error "assignment of read-only" } */
+  *v2->e = 0; /* { dg-error "assignment of read-only" } */
+  v2->f[0][0] = 0; /* { dg-error "assignment of read-only" } */
+  *v2->f[0] = 0; /* { dg-error "assignment of read-only" } */
+  **v2->f = 0; /* { dg-error "assignment of read-only" } */
+
+  v3->a = 0; /* { dg-error "assignment of member" } */
+  v3->b[0] = 0; /* { dg-error "assignment of read-only" } */
+  *v3->b = 0; /* { dg-error "assignment of read-only" } */
+  v3->c[0][0] = 0; /* { dg-error "assignment of read-only" } */
+  *v3->c[0] = 0; /* { dg-error "assignment of read-only" } */
+  **v3->c = 0; /* { dg-error "assignment of read-only" } */
+  v3->d = 0; /* { dg-error "assignment of member" } */
+  v3->e[0] = 0; /* { dg-error "assignment of read-only" } */
+  *v3->e = 0; /* { dg-error "assignment of read-only" } */
+  v3->f[0][0] = 0; /* { dg-error "assignment of read-only" } */
+  *v3->f[0] = 0; /* { dg-error "assignment of read-only" } */
+  **v3->f = 0; /* { dg-error "assignment of read-only" } */
+
+  v4.a = 0; /* { dg-error "assignment of member" } */
+  v4.b[0] = 0; /* { dg-error "assignment of read-only" } */
+  *v4.b = 0; /* { dg-error "assignment of read-only" } */
+  v4.c[0][0] = 0; /* { dg-error "assignment of read-only" } */
+  *v4.c[0] = 0; /* { dg-error "assignment of read-only" } */
+  **v4.c = 0; /* { dg-error "assignment of read-only" } */
+  v4.d = 0; /* { dg-error "assignment of member" } */
+  v4.e[0] = 0; /* { dg-error "assignment of read-only" } */
+  *v4.e = 0; /* { dg-error "assignment of read-only" } */
+  v4.f[0][0] = 0; /* { dg-error "assignment of read-only" } */
+  *v4.f[0] = 0; /* { dg-error "assignment of read-only" } */
+  **v4.f = 0; /* { dg-error "assignment of read-only" } */
+
+  v5.x.a = 0; /* { dg-error "assignment of member" } */
+  v5.x.b[0] = 0; /* { dg-error "assignment of read-only" } */
+  *v5.x.b = 0; /* { dg-error "assignment of read-only" } */
+  v5.x.c[0][0] = 0; /* { dg-error "assignment of read-only" } */
+  *v5.x.c[0] = 0; /* { dg-error "assignment of read-only" } */
+  **v5.x.c = 0; /* { dg-error "assignment of read-only" } */
+  v5.x.d = 0; /* { dg-error "assignment of member" } */
+  v5.x.e[0] = 0; /* { dg-error "assignment of read-only" } */
+  *v5.x.e = 0; /* { dg-error "assignment of read-only" } */
+  v5.x.f[0][0] = 0; /* { dg-error "assignment of read-only" } */
+  *v5.x.f[0] = 0; /* { dg-error "assignment of read-only" } */
+  **v5.x.f = 0; /* { dg-error "assignment of read-only" } */
+}
+
+void
+g (void)
+{
+  {
+    int *a = &v1.a;
+    int (*b)[1] = &v1.b;
+    int (*c)[2][3] = &v1.c;
+    int (*cc)[3] = v1.c;
+    const int (*ff)[3] = v1.c; /* { dg-warning "initialization from incompatible pointer type" } */
+    a = &v1.a;
+    b = &v1.b;
+    c = &v1.c;
+    cc = v1.c;
+    ff = v1.c; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+  {
+    const int *d = &v1.d;
+    const int (*e)[1] = &v1.e;
+    const int (*f)[2][3] = &v1.f;
+    const int (*ff)[3] = v1.f;
+    int (*cc)[3] = v1.f; /* { dg-warning "initialization from incompatible pointer type" } */
+    d = &v1.d;
+    e = &v1.e;
+    f = &v1.f;
+    ff = v1.f;
+    cc = v1.f; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+
+  {
+    int *a = &v2->a;
+    int (*b)[1] = &v2->b;
+    int (*c)[2][3] = &v2->c;
+    int (*cc)[3] = v2->c;
+    const int (*ff)[3] = v2->c; /* { dg-warning "initialization from incompatible pointer type" } */
+    a = &v2->a;
+    b = &v2->b;
+    c = &v2->c;
+    cc = v2->c;
+    ff = v2->c; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+  {
+    const int *d = &v2->d;
+    const int (*e)[1] = &v2->e;
+    const int (*f)[2][3] = &v2->f;
+    const int (*ff)[3] = v2->f;
+    int (*cc)[3] = v2->f; /* { dg-warning "initialization from incompatible pointer type" } */
+    d = &v2->d;
+    e = &v2->e;
+    f = &v2->f;
+    ff = v2->f;
+    cc = v2->f; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+
+  {
+    const int *d = &v3->a;
+    const int (*e)[1] = &v3->b;
+    const int (*f)[2][3] = &v3->c;
+    const int (*ff)[3] = v3->c;
+    int (*cc)[3] = v3->c; /* { dg-warning "initialization from incompatible pointer type" } */
+    d = &v3->a;
+    e = &v3->b;
+    f = &v3->c;
+    ff = v3->c;
+    cc = v3->c; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+  {
+    const int *d = &v3->d;
+    const int (*e)[1] = &v3->e;
+    const int (*f)[2][3] = &v3->f;
+    const int (*ff)[3] = v3->f;
+    int (*cc)[3] = v3->f; /* { dg-warning "initialization from incompatible pointer type" } */
+    d = &v3->d;
+    e = &v3->e;
+    f = &v3->f;
+    ff = v3->f;
+    cc = v3->f; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+
+  {
+    const int *d = &v4.a;
+    const int (*e)[1] = &v4.b;
+    const int (*f)[2][3] = &v4.c;
+    const int (*ff)[3] = v4.c;
+    int (*cc)[3] = v4.c; /* { dg-warning "initialization from incompatible pointer type" } */
+    d = &v4.a;
+    e = &v4.b;
+    f = &v4.c;
+    ff = v4.c;
+    cc = v4.c; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+  {
+    const int *d = &v4.d;
+    const int (*e)[1] = &v4.e;
+    const int (*f)[2][3] = &v4.f;
+    const int (*ff)[3] = v4.f;
+    int (*cc)[3] = v4.f; /* { dg-warning "initialization from incompatible pointer type" } */
+    d = &v4.d;
+    e = &v4.e;
+    f = &v4.f;
+    ff = v4.f;
+    cc = v4.f; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+
+  {
+    const int *d = &v5.x.a;
+    const int (*e)[1] = &v5.x.b;
+    const int (*f)[2][3] = &v5.x.c;
+    const int (*ff)[3] = v5.x.c;
+    int (*cc)[3] = v5.x.c; /* { dg-warning "initialization from incompatible pointer type" } */
+    d = &v5.x.a;
+    e = &v5.x.b;
+    f = &v5.x.c;
+    ff = v5.x.c;
+    cc = v5.x.c; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+  {
+    const int *d = &v5.x.d;
+    const int (*e)[1] = &v5.x.e;
+    const int (*f)[2][3] = &v5.x.f;
+    const int (*ff)[3] = v5.x.f;
+    int (*cc)[3] = v5.x.f; /* { dg-warning "initialization from incompatible pointer type" } */
+    d = &v5.x.d;
+    e = &v5.x.e;
+    f = &v5.x.f;
+    ff = v5.x.f;
+    cc = v5.x.f; /* { dg-warning "assignment from incompatible pointer type" } */
+  }
+}