blob: 15a27bb6cbffb381dccd87b0617021ec97076c43 (
plain)
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
|
// { dg-do assemble }
// Copyright (C) 1999 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 12 Dec 1999 <nathan@acm.org>
// static_cast should not cast _away_ constness ([expr.static.cast]/6),
// but nothing bans _adding_ constness. [expr.static.cast]/10 states that a
// pointer of type cv void can be cast to pointer to object type.
struct X;
struct Y {};
struct Z : Y {};
void fn (void *p, void const *cp, Y *yp, Y const *ycp, Z *zp, Z const *zcp)
{
static_cast <X *> (p);
static_cast <X const *> (p);
static_cast <int *> (p);
static_cast <int const *> (p);
static_cast <int **> (p);
static_cast <int const **> (p);
static_cast <int *const *> (p);
static_cast <int const *const *> (p);
static_cast <X *> (cp); // { dg-error "" } lose const
static_cast <X const *> (cp);
static_cast <int *> (cp); // { dg-error "" } lose const
static_cast <int const *> (cp);
static_cast <int **> (cp); // { dg-error "" } lose const
static_cast <int const **> (cp); // { dg-error "" } lose const
static_cast <int *const *> (cp);
static_cast <int const *const *> (cp);
static_cast <Z *> (yp);
static_cast <Z const *> (yp);
static_cast <Z *> (ycp); // { dg-error "" } lose const
static_cast <Z const *> (ycp);
static_cast <Y *> (zp);
static_cast <Y const *> (zp);
static_cast <Y *> (zcp); // { dg-error "" } lose const
static_cast <Y const *> (zcp);
}
|
