void pic_panic(pic_state PIC_UNUSED(*pic), const char *msg) { extern PIC_NORETURN void abort(); #if DEBUG fprintf(stderr, "abort: %s\n", msg); #else (void)msg; #endif PIC_ABORT(pic); }
void pic_panic(pic_state *pic, const char *msg) { if (pic->panicf) { pic->panicf(pic, msg); } #if PIC_USE_STDIO fprintf(stderr, "picrin panic!: %s\n", msg); #endif PIC_ABORT(pic); PIC_UNREACHABLE(); }