| // Test mangling of type casts |
| // { dg-do compile } |
| |
| class A {}; |
| class B : public A {}; |
| |
| template<const A* a> class C {}; // { dg-error "declared here" } |
| template<const B* b> class D {}; |
| template<B* b> class E {}; // { dg-error "declared here" } |
| |
| template<const B* b> void f(D<b> &, C<static_cast<const A*>(b)> &) {} |
| template<const B* b> void g(D<b> &, E<const_cast<B*>(b)> &) {} |
| |
| B b; |
| |
| int main() |
| { |
| C<static_cast<const A*>(&b)> c; // { dg-error "" } |
| D<&b> d; |
| E<const_cast<B*>(&b)> e; // { dg-error "" } |
| f(d, c); |
| g(d, e); |
| } |
| |