Add std::bad_cast to std_except.i

This exception occurs when dynamic_cast<T&> fails.

Fixes #783.
This commit is contained in:
Daniel Vollmer 2016-09-17 10:26:54 +02:00
commit 2dc87d7485
9 changed files with 12 additions and 0 deletions

View file

@ -24,6 +24,7 @@
int foo3() throw(E1) { return 0; }
int foo4() throw(E2) { return 0; }
// all the STL exceptions...
void throw_bad_cast() throw(std::bad_cast) { throw std::bad_cast(); }
void throw_bad_exception() throw(std::bad_exception) { throw std::bad_exception(); }
void throw_domain_error() throw(std::domain_error) { throw std::domain_error("oops"); }
void throw_exception() throw(std::exception) { throw std::exception(); }