Don't compress (0, eval)() to eval()

This commit is contained in:
Richard van Velzen
2016-02-16 19:00:48 +01:00
parent 31a9b05c96
commit 9662228f6a
2 changed files with 35 additions and 16 deletions

View File

@@ -179,14 +179,16 @@ merge(Compressor.prototype, {
// we shouldn't compress (1,func)(something) to // we shouldn't compress (1,func)(something) to
// func(something) because that changes the meaning of // func(something) because that changes the meaning of
// the func (becomes lexical instead of global). // the func (becomes lexical instead of global).
function maintain_this_binding(parent, orig, val) { function maintain_call_binding(parent, orig, val) {
if (parent instanceof AST_Call && parent.expression === orig && val instanceof AST_PropAccess) { if (parent instanceof AST_Call && parent.expression === orig) {
return make_node(AST_Seq, orig, { if (val instanceof AST_PropAccess || (val instanceof AST_Symbol && val.name === "eval")) {
car: make_node(AST_Number, orig, { return make_node(AST_Seq, orig, {
value: 0 car: make_node(AST_Number, orig, {
}), value: 0
cdr: val }),
}); cdr: val
});
}
} }
return val; return val;
} }
@@ -381,7 +383,7 @@ merge(Compressor.prototype, {
if (is_lvalue(node, parent)) return node; if (is_lvalue(node, parent)) return node;
// Remove var definition and return its value to the TreeTransformer to replace. // Remove var definition and return its value to the TreeTransformer to replace.
var value = maintain_this_binding(parent, node, var_decl.value); var value = maintain_call_binding(parent, node, var_decl.value);
var_decl.value = null; var_decl.value = null;
var_defs.splice(var_defs_index, 1); var_defs.splice(var_defs_index, 1);
@@ -2123,7 +2125,7 @@ merge(Compressor.prototype, {
if (!compressor.option("side_effects")) if (!compressor.option("side_effects"))
return self; return self;
if (!self.car.has_side_effects(compressor)) { if (!self.car.has_side_effects(compressor)) {
return maintain_this_binding(compressor.parent(), self, self.cdr); return maintain_call_binding(compressor.parent(), self, self.cdr);
} }
if (compressor.option("cascade")) { if (compressor.option("cascade")) {
if (self.car instanceof AST_Assign if (self.car instanceof AST_Assign
@@ -2313,10 +2315,10 @@ merge(Compressor.prototype, {
if (ll.length > 1) { if (ll.length > 1) {
if (ll[1]) { if (ll[1]) {
compressor.warn("Condition left of && always true [{file}:{line},{col}]", self.start); compressor.warn("Condition left of && always true [{file}:{line},{col}]", self.start);
return maintain_this_binding(compressor.parent(), self, self.right.evaluate(compressor)[0]); return maintain_call_binding(compressor.parent(), self, self.right.evaluate(compressor)[0]);
} else { } else {
compressor.warn("Condition left of && always false [{file}:{line},{col}]", self.start); compressor.warn("Condition left of && always false [{file}:{line},{col}]", self.start);
return maintain_this_binding(compressor.parent(), self, ll[0]); return maintain_call_binding(compressor.parent(), self, ll[0]);
} }
} }
} }
@@ -2325,10 +2327,10 @@ merge(Compressor.prototype, {
if (ll.length > 1) { if (ll.length > 1) {
if (ll[1]) { if (ll[1]) {
compressor.warn("Condition left of || always true [{file}:{line},{col}]", self.start); compressor.warn("Condition left of || always true [{file}:{line},{col}]", self.start);
return maintain_this_binding(compressor.parent(), self, ll[0]); return maintain_call_binding(compressor.parent(), self, ll[0]);
} else { } else {
compressor.warn("Condition left of || always false [{file}:{line},{col}]", self.start); compressor.warn("Condition left of || always false [{file}:{line},{col}]", self.start);
return maintain_this_binding(compressor.parent(), self, self.right.evaluate(compressor)[0]); return maintain_call_binding(compressor.parent(), self, self.right.evaluate(compressor)[0]);
} }
} }
} }
@@ -2553,10 +2555,10 @@ merge(Compressor.prototype, {
if (cond.length > 1) { if (cond.length > 1) {
if (cond[1]) { if (cond[1]) {
compressor.warn("Condition always true [{file}:{line},{col}]", self.start); compressor.warn("Condition always true [{file}:{line},{col}]", self.start);
return maintain_this_binding(compressor.parent(), self, self.consequent); return maintain_call_binding(compressor.parent(), self, self.consequent);
} else { } else {
compressor.warn("Condition always false [{file}:{line},{col}]", self.start); compressor.warn("Condition always false [{file}:{line},{col}]", self.start);
return maintain_this_binding(compressor.parent(), self, self.alternative); return maintain_call_binding(compressor.parent(), self, self.alternative);
} }
} }
var negated = cond[0].negate(compressor); var negated = cond[0].negate(compressor);

View File

@@ -50,3 +50,20 @@ this_binding_collapse_vars: {
(0, a.b)(); (0, a.b)();
} }
} }
eval_direct_calls: {
options = {
side_effects: true,
collapse_vars: true
}
input: {
(0, eval)('');
var fn = eval;
fn('');
}
expect: {
(0, eval)('');
(0, eval)('');
}
}