properly handle invoke of setjmp, by lowering to a call, which fixes phis that refer to it. fixes #1942

1 files changed, 11 insertions, 1 deletions

diff --git a/src/analyzer.js b/src/analyzer.js
index 17582ea3..e8ca6cf6 100644
--- a/src/analyzer.js
+++ b/src/analyzer.js
@@ -1570,7 +1570,17 @@ function analyzer(data, sidePass) {
         for (var j = 0; j < label.lines.length; j++) {
           var line = label.lines[j];
           if ((line.intertype == 'call' || line.intertype == 'invoke') && line.ident == setjmp) {
-            // Add a new label
+            if (line.intertype == 'invoke') {
+              // setjmp cannot trigger unwinding, so just reduce the invoke to a call + branch
+              line.intertype = 'call';
+              label.lines.push({
+                intertype: 'branch',
+                label: line.toLabel,
+                lineNum: line.lineNum + 0.01, // XXX legalizing might confuse this
+              });
+              line.toLabel = line.unwindLabel = -2;
+            }
+            // split this label into up to the setjmp (including), then a new label for the rest. longjmp will reach the rest
             var oldLabel = label.ident;
             var newLabel = func.labelIdCounter++;
             if (!func.setjmpTable) func.setjmpTable = [];