diff --git a/mex/sources/ms-sbvar/modify_for_mex.cc b/mex/sources/ms-sbvar/modify_for_mex.cc
index 43d49a4ea..2e32ae40a 100644
--- a/mex/sources/ms-sbvar/modify_for_mex.cc
+++ b/mex/sources/ms-sbvar/modify_for_mex.cc
@@ -28,6 +28,7 @@ extern "C"
 
   int constant_seed;
 
+  [[noreturn]]
   void
   msExit([[maybe_unused]] int status)
   {
diff --git a/mex/sources/ms-sbvar/modify_for_mex.h b/mex/sources/ms-sbvar/modify_for_mex.h
index af77bbaf7..973fa425f 100644
--- a/mex/sources/ms-sbvar/modify_for_mex.h
+++ b/mex/sources/ms-sbvar/modify_for_mex.h
@@ -1,5 +1,5 @@
 /*
- * Copyright © 2010-2020 Dynare Team
+ * Copyright © 2010-2023 Dynare Team
  *
  * This file is part of Dynare.
  *
@@ -39,7 +39,15 @@ extern bool utIsInterruptPending();
 #  include <octave/quit.h>
 # endif
 
+// NB: C23 has the [[noreturn]] attribute, so this #ifdef can be removed when
+// we upgrade
+#ifdef __cplusplus
+[[noreturn]]
+#else
+_Noreturn
+#endif
 void msExit(int status);
+
 extern int constant_seed;
 
 #endif