diff options
Diffstat (limited to 'gcc/testsuite/g++.old-deja/g++.other/cast3.C')
| -rw-r--r-- | gcc/testsuite/g++.old-deja/g++.other/cast3.C | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.old-deja/g++.other/cast3.C b/gcc/testsuite/g++.old-deja/g++.other/cast3.C new file mode 100644 index 000000000..15a27bb6c --- /dev/null +++ b/gcc/testsuite/g++.old-deja/g++.other/cast3.C @@ -0,0 +1,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); +} |