From c43b197b9921f82eaa6dc3fcb3e6cdc0ba01a163 Mon Sep 17 00:00:00 2001
From: Jacob Dufault <jacobdufault@gmail.com>
Date: Tue, 27 Feb 2018 23:08:06 -0800
Subject: [PATCH] [[noreturn]] on cquery_unreachable_internal

---
 src/port.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/port.cc b/src/port.cc
index 7f5d5be2..d1c6d8d1 100644
--- a/src/port.cc
+++ b/src/port.cc
@@ -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();