return fixed();
});
+ AST_SymbolRef.DEFMETHOD("is_immutable", function() {
+ var orig = this.definition().orig;
+ return orig.length == 1 && orig[0] instanceof AST_SymbolLambda;
+ });
+
function is_lhs_read_only(lhs) {
- return lhs instanceof AST_SymbolRef && lhs.definition().orig[0] instanceof AST_SymbolLambda;
+ if (lhs instanceof AST_SymbolRef) return lhs.definition().orig[0] instanceof AST_SymbolLambda;
+ if (lhs instanceof AST_PropAccess) {
+ lhs = lhs.expression;
+ if (lhs instanceof AST_SymbolRef) {
+ if (lhs.is_immutable()) return false;
+ lhs = lhs.fixed_value();
+ }
+ if (!lhs) return true;
+ if (lhs instanceof AST_RegExp) return false;
+ if (lhs instanceof AST_Constant) return true;
+ return is_lhs_read_only(lhs);
+ }
+ return false;
}
function find_variable(compressor, name) {
def(AST_SymbolRef, function(pure_getters) {
if (this.is_undefined) return true;
if (!is_strict(pure_getters)) return false;
+ if (this.is_immutable()) return false;
var fixed = this.fixed_value();
return !fixed || fixed._throw_on_access(pure_getters);
});
|| cdr instanceof AST_PropAccess
|| cdr instanceof AST_Unary && !unary_side_effects(cdr.operator)) {
field = "expression";
+ } else if (cdr instanceof AST_Conditional) {
+ field = "condition";
} else {
expressions[++i] = expressions[j];
break;
}
expect_stdout: "function"
}
+
+set_immutable_1: {
+ options = {
+ collapse_vars: true,
+ evaluate: true,
+ pure_getters: "strict",
+ reduce_vars: true,
+ toplevel: true,
+ unused: true,
+ }
+ input: {
+ var a = 1;
+ a.foo += "";
+ if (a.foo) console.log("FAIL");
+ else console.log("PASS");
+ }
+ expect: {
+ 1..foo += "";
+ if (1..foo) console.log("FAIL");
+ else console.log("PASS");
+ }
+ expect_stdout: "PASS"
+}
+
+set_immutable_2: {
+ options = {
+ cascade: true,
+ conditionals: true,
+ pure_getters: "strict",
+ reduce_vars: true,
+ sequences: true,
+ side_effects: true,
+ toplevel: true,
+ }
+ input: {
+ var a = 1;
+ a.foo += "";
+ if (a.foo) console.log("FAIL");
+ else console.log("PASS");
+ }
+ expect: {
+ var a = 1;
+ a.foo += "", a.foo ? console.log("FAIL") : console.log("PASS");
+ }
+ expect_stdout: "PASS"
+}
+
+set_mutable_1: {
+ options = {
+ collapse_vars: true,
+ evaluate: true,
+ pure_getters: "strict",
+ reduce_vars: true,
+ unused: true,
+ }
+ input: {
+ !function a() {
+ a.foo += "";
+ if (a.foo) console.log("PASS");
+ else console.log("FAIL");
+ }();
+ }
+ expect: {
+ !function a() {
+ if (a.foo += "") console.log("PASS");
+ else console.log("FAIL");
+ }();
+ }
+ expect_stdout: "PASS"
+}
+
+set_mutable_2: {
+ options = {
+ cascade: true,
+ conditionals: true,
+ pure_getters: "strict",
+ reduce_vars: true,
+ sequences: true,
+ side_effects: true,
+ }
+ input: {
+ !function a() {
+ a.foo += "";
+ if (a.foo) console.log("PASS");
+ else console.log("FAIL");
+ }();
+ }
+ expect: {
+ !function a() {
+ (a.foo += "") ? console.log("PASS") : console.log("FAIL");
+ }();
+ }
+ expect_stdout: "PASS"
+}