https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85166
--- Comment #2 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Does this fix the problem? Index: minimal.c =================================================================== --- minimal.c (Revision 259055) +++ minimal.c (Arbeitskopie) @@ -187,3 +187,17 @@ sys_abort (void) abort(); } + +/* A numeric STOP statement. */ + +extern _Noreturn void stop_numeric (int, bool); +export_proto(stop_numeric); + +void +stop_numeric (int code, bool quiet) +{ + if (!quiet) + printf ("STOP %d\n", code); + + exit (code); +}