Revert "[[noreturn]] on cquery_unreachable_internal"

This reverts commit 5db4314a5e3b3010bc5883e8d775e396164d7d85.
This commit is contained in:
Jacob Dufault 2018-02-27 23:23:07 -08:00
parent d1fdf231c8
commit ab508bb12e

View File

@ -3,7 +3,7 @@
#include <stdio.h> #include <stdio.h>
#include <stdlib.h> #include <stdlib.h>
[[noreturn]] void cquery_unreachable_internal(const char* msg, const char* file, int line) { void cquery_unreachable_internal(const char* msg, const char* file, int line) {
fprintf(stderr, "unreachable %s:%d %s\n", file, line, msg); fprintf(stderr, "unreachable %s:%d %s\n", file, line, msg);
CQUERY_BUILTIN_UNREACHABLE; CQUERY_BUILTIN_UNREACHABLE;
abort(); abort();