(root)/
gcc-13.2.0/
gcc/
testsuite/
g++.dg/
eh/
cast1.C
// PR c++/28523

class A {};
class B : public A {};

int main()
{
  throw (A) B();
  return 0;
}