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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
| // RUN: %clang_cc1 -fsyntax-only -std=c++11 -verify %s
const int global = 5; // expected-note{{variable 'global' declared const here}}
void test1() {
global = 2; // expected-error{{cannot assign to variable 'global' with const-qualified type 'const int'}}
}
void test2 () {
const int local = 5; // expected-note{{variable 'local' declared const here}}
local = 0; // expected-error{{cannot assign to variable 'local' with const-qualified type 'const int'}}
}
void test2 (const int parameter) { // expected-note{{variable 'parameter' declared const here}}
parameter = 2; // expected-error{{cannot assign to variable 'parameter' with const-qualified type 'const int'}}
}
class test3 {
int field;
const int const_field = 1; // expected-note 2{{non-static data member 'const_field' declared const here}}
static const int static_const_field = 1; // expected-note 2{{variable 'static_const_field' declared const here}}
void test() {
const_field = 4; // expected-error{{cannot assign to non-static data member 'const_field' with const-qualified type 'const int'}}
static_const_field = 4; // expected-error{{cannot assign to variable 'static_const_field' with const-qualified type 'const int'}}
}
void test_const() const { // expected-note 2{{member function 'test3::test_const' is declared const here}}
field = 4; // expected-error{{cannot assign to non-static data member within const member function 'test_const'}}
const_field = 4 ; // expected-error{{cannot assign to non-static data member 'const_field' with const-qualified type 'const int'}}
static_const_field = 4; // expected-error{{cannot assign to variable 'static_const_field' with const-qualified type 'const int'}}
}
};
const int &return_const_ref(); // expected-note{{function 'return_const_ref' which returns const-qualified type 'const int &' declared here}}
void test4() {
return_const_ref() = 10; // expected-error{{cannot assign to return value because function 'return_const_ref' returns a const value}}
}
struct S5 {
int field;
const int const_field = 4; // expected-note {{non-static data member 'const_field' declared const here}}
};
void test5() {
S5 s5;
s5.field = 5;
s5.const_field = 5; // expected-error{{cannot assign to non-static data member 'const_field' with const-qualified type 'const int'}}
}
struct U1 {
int a = 5;
};
struct U2 {
U1 u1;
};
struct U3 {
const U2 u2 = U2(); // expected-note{{non-static data member 'u2' declared const here}}
};
struct U4 {
U3 u3;
};
void test6() {
U4 u4;
u4.u3.u2.u1.a = 5; // expected-error{{cannot assign to non-static data member 'u2' with const-qualified type 'const U2'}}
}
struct A {
int z;
};
struct B {
A a;
};
struct C {
B b;
C();
};
const C &getc(); // expected-note{{function 'getc' which returns const-qualified type 'const C &' declared here}}
void test7() {
const C c; // expected-note{{variable 'c' declared const here}}
c.b.a.z = 5; // expected-error{{cannot assign to variable 'c' with const-qualified type 'const C'}}
getc().b.a.z = 5; // expected-error{{cannot assign to return value because function 'getc' returns a const value}}
}
struct D { const int n; }; // expected-note 2{{non-static data member 'n' declared const here}}
struct E { D *const d = 0; };
void test8() {
extern D *const d;
d->n = 0; // expected-error{{cannot assign to non-static data member 'n' with const-qualified type 'const int'}}
E e;
e.d->n = 0; // expected-error{{cannot assign to non-static data member 'n' with const-qualified type 'const int'}}
}
struct F { int n; };
struct G { const F *f; }; // expected-note{{non-static data member 'f' declared const here}}
void test10() {
const F *f; // expected-note{{variable 'f' declared const here}}
f->n = 0; // expected-error{{cannot assign to variable 'f' with const-qualified type 'const F *'}}
G g;
g.f->n = 0; // expected-error{{cannot assign to non-static data member 'f' with const-qualified type 'const F *'}}
}
void test11(
const int x, // expected-note{{variable 'x' declared const here}}
const int& y // expected-note{{variable 'y' declared const here}}
) {
x = 5; // expected-error{{cannot assign to variable 'x' with const-qualified type 'const int'}}
y = 5; // expected-error{{cannot assign to variable 'y' with const-qualified type 'const int &'}}
}
struct H {
const int a = 0; // expected-note{{non-static data member 'a' declared const here}}
const int &b = a; // expected-note{{non-static data member 'b' declared const here}}
};
void test12(H h) {
h.a = 1; // expected-error {{cannot assign to non-static data member 'a' with const-qualified type 'const int'}}
h.b = 2; // expected-error {{cannot assign to non-static data member 'b' with const-qualified type 'const int &'}}
}
void test() {
typedef const int &Func();
Func &bar();
bar()() = 0; // expected-error {{read-only variable is not assignable}}
}
typedef float float4 __attribute__((ext_vector_type(4)));
struct OhNo {
float4 v;
void AssignMe() const { v.x = 1; } // expected-error {{cannot assign to non-static data member within const member function 'AssignMe'}} \
expected-note {{member function 'OhNo::AssignMe' is declared const here}}
};
typedef float float4_2 __attribute__((__vector_size__(16)));
struct OhNo2 {
float4_2 v;
void AssignMe() const { v[0] = 1; } // expected-error {{cannot assign to non-static data member within const member function 'AssignMe'}} \
expected-note {{member function 'OhNo2::AssignMe' is declared const here}}
};
struct OhNo3 {
float v[4];
void AssignMe() const { v[0] = 1; } // expected-error {{cannot assign to non-static data member within const member function 'AssignMe'}} \
expected-note {{member function 'OhNo3::AssignMe' is declared const here}}
};
|