--- main.cc.orig 2019-10-14 20:22:59.936629138 +0900 +++ main.cc 2019-10-14 20:23:51.800403048 +0900 @@ -214,3 +214,10 @@ #endif asymain(&args); } + +#ifdef USEGC +GC_API void GC_CALL GC_throw_bad_alloc() { + std::bad_alloc(); +} +#endif +
