https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107335 --- Comment #5 from AK <hiraditya at msn dot com> --- Is this the definition of throw_bad_cast? https://github.com/gcc-mirror/gcc/blob/16e2427f50c208dfe07d07f18009969502c25dc8/gcc/cp/rtti.c#L221