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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
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;
}
|
