From a961851e53ecc6fb0c401f9ee5cb32e215e5592e Mon Sep 17 00:00:00 2001
From: Hood Chatham <hood@mit.edu>
Date: Sat, 16 Jan 2021 16:47:59 -0800
Subject: [PATCH] Mark pythonexc2js as noreturn (#1147)

---
 src/core/python2js.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/core/python2js.c b/src/core/python2js.c
index e6d451547..7a12dc5f2 100644
--- a/src/core/python2js.c
+++ b/src/core/python2js.c
@@ -16,7 +16,7 @@ _Py_IDENTIFIER(format_exception);
 static JsRef
 _python2js_unicode(PyObject* x);
 
-void
+void _Py_NO_RETURN
 pythonexc2js()
 {
   bool success = false;
@@ -35,7 +35,6 @@ pythonexc2js()
     excval = hiwire_string_ascii("No exception type or value");
     PySys_WriteStderr("No exception type or value\n");
     goto finally__skip_print_tb;
-    return;
   }
 
   if (traceback == NULL) {