blob: 40026dacfc663fc5e86e9c5ff2f76cfcc249e948 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
#include "_safety.h"
#if __STDC_VERSION__ < 199901L
static _Noreturn void _Exit(int);
#include "stdlib/_Exit.c"
#endif
_Noreturn void __undefined(const char *fmt, ...)
{
___signal.current = 0;
va_list ap;
va_start(ap, fmt);
fprintf(stderr, "Undefined Behavior: ");
vfprintf(stderr, fmt, ap);
if (__checked_call.file) {
fprintf(stderr, " (source: %s:%ju", __checked_call.file, __checked_call.line);
if (__checked_call.func) {
fprintf(stderr, ":%s()", __checked_call.func);
}
fprintf(stderr, ")");
}
fprintf(stderr, "\n");
va_end(ap);
_Exit(-1);
}
/*
STDC(0)
*/
|