diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-01-07 12:54:29 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-01-07 12:54:29 -0800 |
commit | 578971453d4d1140486229bedc711f52b8e1948f (patch) | |
tree | 72f2371905d7d08a1a86641ccd977649088dcde9 /src/settings.js | |
parent | 904d9b751241bfa1e1a334877c8489a27e535892 (diff) |
reset the stack top when CATCH_EXIT_CODE
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/settings.js b/src/settings.js index 84d64167..11af4692 100644 --- a/src/settings.js +++ b/src/settings.js @@ -118,7 +118,9 @@ var INLINING_LIMIT = 50; // A limit on inlining. If 0, we will inline normally i var CATCH_EXIT_CODE = 0; // If set, causes exit() to throw an exception object which is caught // in a try..catch block and results in the exit status being // returned from run(). If zero (the default), the program is just - // terminated with an error message. + // terminated with an error message, that is, the exception thrown + // by exit() is not handled in any way (in particular, the stack + // position will not be reset). // Generated code debugging options var SAFE_HEAP = 0; // Check each write to the heap, for example, this will give a clear |