From 11f5fdccdf1f3e7b72a052be73203760d75472b4 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Wed, 3 Jan 2018 01:02:07 +0700
Subject: [PATCH] Use noreturn attribute and __declspec version.

---
 src/ast/ast.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/ast/ast.h b/src/ast/ast.h
index ea97af004..7a662a193 100644
--- a/src/ast/ast.h
+++ b/src/ast/ast.h
@@ -53,10 +53,10 @@ Revision History:
 #pragma warning(disable : 4355)
 #endif
 
-#ifdef __GNUC__
-#  define Z3_NORETURN __attribute__((noreturn))
+#ifdef _MSC_VER
+#  define Z3_NORETURN __declspec(noreturn)
 #else
-#  define Z3_NORETURN
+#  define Z3_NORETURN [[noreturn]]
 #endif
 
 class ast;
@@ -1521,7 +1521,7 @@ public:
     void compress_ids();
 
     // Equivalent to throw ast_exception(msg)
-    void raise_exception(char const * msg) Z3_NORETURN;
+    Z3_NORETURN void raise_exception(char const * msg);
 
     bool is_format_manager() const { return m_format_manager == 0; }