1 files changed, 63 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/fixed-point/struct-union.c b/gcc/testsuite/gcc.dg/fixed-point/struct-union.c
new file mode 100644
index 000000000..93ed260b0
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/struct-union.c
@@ -0,0 +1,63 @@
+/* { dg-do compile } */
+/* { dg-options "-O -Wall" } */
+
+/* C99 6.5.2.3 Structure and union members.
+   If the first expression has qualified type, the result has the so-qualified
+   version of the type of the designated member.
+   Based on the test from ../dfp/.  */
+
+struct s {_Fract f; const long _Fract lf;};
+struct sv { volatile _Fract f; volatile long _Fract lf; };
+union u
+{
+  const long _Fract lf;
+  _Fract f;
+  const struct s cs;
+};
+
+struct s s;
+struct sv sv;
+const struct s cs;
+
+union u u;
+const union u cu;
+
+struct s g (struct s s)
+{
+  return s;
+}
+
+union u h (union u u)
+{
+  return u;
+}
+
+void f()
+{
+  cs.f = 0.1r; /* { dg-error "assignment of member 'f' in read-only object" } */
+  cs.lf = 0.2lr; /* { dg-error "assignment of member 'lf' in read-only object" } */
+  s.lf = 0.3lr;  /* { dg-error "assignment of read-only member" } */
+
+  s.f = 0.4r;
+  u.f = 0.5r;
+
+  u.lf = 0.6lr;    /* { dg-error "assignment of read-only member" } */
+  u.cs.f = 0.7r;   /* { dg-error "assignment of member 'f' in read-only object" } */
+  u.cs.lf = 0.8lr; /* { dg-error "assignment of member 'lf' in read-only object" } */
+
+  cu.f = 0.9r;   /* { dg-error "assignment of member 'f' in read-only object" } */
+
+  cu.lf = 0.01lr;    /* { dg-error "assignment of member 'lf' in read-only object" } */
+  cu.cs.f = 0.02r;   /* { dg-error "assignment of member 'f' in read-only object" } */
+  cu.cs.lf = 0.03lr; /* { dg-error "assignment of member 'lf' in read-only object" } */
+
+  /* f().x is a valid postfix expression but is not an lvalue if
+     function f() returning a structure or union.  */
+  g(s).f = 0.04r;  /* { dg-error "lvalue required" } */
+  h(u).lf = 0.05lr;  /* { dg-error "lvalue required" } */
+
+  /* Test assignment to volatile structure members.  */
+  sv.f = 0.06r;
+  sv.lf = 0.07lr;
+}
+