gcc/testsuite/g++.dg/tc1/dr137.C

   1 // { dg-do compile }
   2 // Origin: Giovanni Bajo <giovannibajo at gcc dot gnu dot org>
   3 // DR137: static_cast of cv void*
   4
   5 struct A;
   6
   7 const void* v;
   8
   9 void foo(void)
  10 {
  11   (void)static_cast<const volatile A *>(v);
  12   (void)static_cast<A *>(v);  // { dg-error "9:.static_cast. from type .const void\\*. to type .A\\*. casts away qualifiers" "static_cast cannot remove cv qualifiers" }
  13 }