aboutsummaryrefslogtreecommitdiff
path: root/src/settings.js
diff options
context:
space:
mode:
authorAlon Zakai <azakai@mozilla.com>2011-01-27 21:31:20 -0800
committerAlon Zakai <azakai@mozilla.com>2011-01-27 21:31:20 -0800
commit5958a6a754324de9eeff39fe1f21ba2b7042f833 (patch)
treeb9a5f9929c3cbe64f9b45ae7be4b6037f2b7b33d /src/settings.js
parent8e51dd91884b48f9c59fed12e995ed9fdbdcd5f8 (diff)
reSign parallel to unSign to fix rare signing issues; CHECK_SIGNS option
Diffstat (limited to 'src/settings.js')
-rw-r--r--src/settings.js5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js
index 1b0b2bce..c4335838 100644
--- a/src/settings.js
+++ b/src/settings.js
@@ -16,6 +16,11 @@ QUANTUM_SIZE = 4; // This is the size of an individual field in a structure. 1 w
GUARD_SIGNS = 1; // Whether we make sure to convert unsigned values to signed values.
// Decreases performance with additional runtime checks. Might not be
// needed in some kinds of code.
+CHECK_SIGNS = 0; // Runtime warning for signing issues that need correcting. Note:
+ // *requires* GUARD_SIGNS to work. It is recommended to use this in
+ // order to find if your code needs GUARD_SIGNS. If you can get your
+ // code to run without GUARD_SIGNS, it will run much faster
+
GUARD_LABELS = 0; // Whether we should throw if we encounter a bad __label__, i.e.,
// if code flow runs into a fault
GUARD_MEMORY = 1; // Whether we should check that each allocation to the stack does not