gcc/testsuite/g++.old-deja/g++.other/cast3.C

   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
  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 }