From c00aba637e5e76cc4a83546ebe1f5db6df5663ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Wed, 12 Jun 2024 14:41:03 +0200
Subject: [PATCH] C++11 modernization: use [[noreturn]] attribute (instead of
 GNU extension)

---
 src/ParsingDriver.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ParsingDriver.hh b/src/ParsingDriver.hh
index 0c4fe58c..a8fba462 100644
--- a/src/ParsingDriver.hh
+++ b/src/ParsingDriver.hh
@@ -314,9 +314,9 @@ public:
   expr_t var_expectation_model_discount {nullptr};
 
   //! Error handler with explicit location
-  void error(const Dynare::parser::location_type& l, const string& m) __attribute__((noreturn));
+  [[noreturn]] void error(const Dynare::parser::location_type& l, const string& m);
   //! Error handler using saved location
-  void error(const string& m) __attribute__((noreturn));
+  [[noreturn]] void error(const string& m);
   //! Warning handler using saved location
   void warning(const string& m);
 
-- 
GitLab