12345678910111213 |
- --- 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
- +
|