* g++.old-deja/g++.other/cast3.C: New test.
From-SVN: r31035
This commit is contained in:
parent
6816f04063
commit
2d447b1e3b
|
@ -1,3 +1,7 @@
|
|||
1999-12-20 Nathan Sidwell <nathan@acm.org>
|
||||
|
||||
* g++.old-deja/g++.other/cast3.C: New test.
|
||||
|
||||
1999-12-14 Bernd Schmidt <bernds@cygnus.co.uk>
|
||||
|
||||
* gcc.dg/991214-1.c: Use "__asm__", not "asm".
|
||||
|
|
|
@ -0,0 +1,44 @@
|
|||
// Build don't link:
|
||||
// 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); // ERROR - lose const
|
||||
static_cast <X const *> (cp);
|
||||
static_cast <int *> (cp); // ERROR - lose const
|
||||
static_cast <int const *> (cp);
|
||||
static_cast <int **> (cp); // ERROR - lose const
|
||||
static_cast <int const **> (cp); // 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); // ERROR - lose const
|
||||
static_cast <Z const *> (ycp);
|
||||
|
||||
static_cast <Y *> (zp);
|
||||
static_cast <Y const *> (zp);
|
||||
|
||||
static_cast <Y *> (zcp); // ERROR - lose const
|
||||
static_cast <Y const *> (zcp);
|
||||
}
|
Loading…
Reference in New Issue