blob: e92eddcc16fcddfce1132572b6833c2dbfc33dc6 [file] [log] [blame]
/* { 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. */
struct s {_Decimal32 d32; const _Decimal64 d64;};
struct sv { volatile _Decimal32 d32; volatile _Decimal64 d64; };
union u
{
const _Decimal64 d64;
_Decimal32 d32;
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.d32 = 1.23dd; /* { dg-error "read-only variable is not assignable" } */
cs.d64 = 1.23df; /* { dg-error "read-only variable is not assignable" } */
s.d64 = 1.23df; /* { dg-error "assignment of read-only member" } */
s.d32 = 1.23dd;
u.d32 = 1.23dd;
u.d64 = 1.23df; /* { dg-error "assignment of read-only member" } */
u.cs.d32 = 1.23dd; /* { dg-error "assignment of read-only member" } */
u.cs.d64 = 1.23df; /* { dg-error "assignment of read-only member" } */
cu.d32 = 1.23dd; /* { dg-error "read-only variable is not assignable" } */
cu.d64 = 1.23df; /* { dg-error "read-only variable is not assignable" } */
cu.cs.d32 = 1.23dd; /* { dg-error "read-only variable is not assignable" } */
cu.cs.d64 = 1.23df; /* { dg-error "read-only variable is not assignable" } */
/* f().x is a valid postfix expression but is not an lvalue if
function f() returning a structure or union. */
g(s).d32 = 1.23dd; /* { dg-error "lvalue required" } */
h(u).d64 = 1.23df; /* { dg-error "lvalue required" } */
/* Test assignment to volatile structure members. */
sv.d32 = 1.1df;
sv.d64 = 1.1dd;
}