[[noreturn]] on cquery_unreachable_internal

This commit is contained in:
Jacob Dufault 2018-02-27 23:08:06 -08:00
parent e44109aee9
commit c43b197b99

View File

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