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
|
// PR c++/91264
// { dg-do compile { target c++14 } }
constexpr void
mod (int &r)
{
r = 99; // { dg-error "modifying a const object" }
}
constexpr int
fn1 ()
{
const int i = 0; // { dg-message "originally declared" }
mod (const_cast<int &>(i)); // { dg-message "in .constexpr. expansion of " }
return i;
}
constexpr int i1 = fn1 (); // { dg-message "in .constexpr. expansion of " }
constexpr int
fn2 ()
{
const int i = 5; // { dg-message "originally declared" }
const_cast<int &>(i) = 10; // { dg-error "modifying a const object" }
return i;
}
constexpr int i2 = fn2 (); // { dg-message "in .constexpr. expansion of " }
constexpr int
fn3 ()
{
const int i = 5; // { dg-message "originally declared" }
++const_cast<int &>(i); // { dg-error "modifying a const object" }
return i;
}
constexpr int i3 = fn3 (); // { dg-message "in .constexpr. expansion of " }
constexpr int
fn4 ()
{
const int i = 5; // { dg-message "originally declared" }
const_cast<int &>(i)--; // { dg-error "modifying a const object" }
return i;
}
constexpr int i4 = fn4 (); // { dg-message "in .constexpr. expansion of " }
constexpr int
fn5 ()
{
const int i = 5; // { dg-message "originally declared" }
const_cast<int &>(i) += 2; // { dg-error "modifying a const object" }
return i;
}
constexpr int i5 = fn5 (); // { dg-message "in .constexpr. expansion of " }
constexpr int
fn6 ()
{
// This is OK.
int i = 3;
const int *cip = &i;
int *ip = const_cast<int *>(cip);
*ip = 4;
return i;
}
constexpr int i6 = fn6 ();
static_assert(i6 == 4, "");
|
