diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-12-11 13:53:00 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-12-11 13:53:00 -0800 |
| commit | 2c8c19f60585d4e8cb78af119faba664a35e2268 (patch) | |
| tree | d5165021be34bcfe6d75a844b751cc0b9dfc430d /src/library.js | |
| parent | 33ca644b5b3e78af1998db308efda6a57c42bd28 (diff) | |
| parent | 42b03394eb80db5183d2eb8c2c22b587cd85794e (diff) | |
Merge branch 'incoming'
Diffstat (limited to 'src/library.js')
| -rw-r--r-- | src/library.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/library.js b/src/library.js index 5a8a9ae7..1bdd840d 100644 --- a/src/library.js +++ b/src/library.js @@ -5940,11 +5940,11 @@ LibraryManager.library = { setjmp__inline: function(env) { // Save the label - return '(setjmped = true, ' + makeSetValue(env, '0', 'label', 'i32') + ', 0)'; + return '(tempInt = setjmpId++, mySetjmpIds[tempInt] = 1, setjmpLabels[tempInt] = label,' + makeSetValue(env, '0', 'tempInt', 'i32') + ', 0)'; }, longjmp: function(env, value) { - throw { longjmp: true, label: {{{ makeGetValue('env', '0', 'i32') }}}, value: value || 1 }; + throw { longjmp: true, id: {{{ makeGetValue('env', '0', 'i32') }}}, value: value || 1 }; }, // ========================================================================== |