1 // { dg-do assemble }
2 // Copyright (C) 1999 Free Software Foundation, Inc.
3 // Contributed by Nathan Sidwell 12 Dec 1999 <nathan@acm.org>
4
5 // static_cast should not cast _away_ constness ([expr.static.cast]/6),
6 // but nothing bans _adding_ constness. [expr.static.cast]/10 states that a
7 // pointer of type cv void can be cast to pointer to object type.
8
9 struct X;
10 struct Y {};
11 struct Z : Y {};
12
fn(void * p,void const * cp,Y * yp,Y const * ycp,Z * zp,Z const * zcp)13 void fn (void *p, void const *cp, Y *yp, Y const *ycp, Z *zp, Z const *zcp)
14 {
15 static_cast <X *> (p);
16 static_cast <X const *> (p);
17 static_cast <int *> (p);
18 static_cast <int const *> (p);
19 static_cast <int **> (p);
20 static_cast <int const **> (p);
21 static_cast <int *const *> (p);
22 static_cast <int const *const *> (p);
23
24 static_cast <X *> (cp); // { dg-error "" } lose const
25 static_cast <X const *> (cp);
26 static_cast <int *> (cp); // { dg-error "" } lose const
27 static_cast <int const *> (cp);
28 static_cast <int **> (cp); // { dg-error "" } lose const
29 static_cast <int const **> (cp); // { dg-error "" } lose const
30 static_cast <int *const *> (cp);
31 static_cast <int const *const *> (cp);
32
33 static_cast <Z *> (yp);
34 static_cast <Z const *> (yp);
35
36 static_cast <Z *> (ycp); // { dg-error "" } lose const
37 static_cast <Z const *> (ycp);
38
39 static_cast <Y *> (zp);
40 static_cast <Y const *> (zp);
41
42 static_cast <Y *> (zcp); // { dg-error "" } lose const
43 static_cast <Y const *> (zcp);
44 }
45