// but are otherwise not safe to scan into or beyond them.
var sym;
if (node instanceof AST_Call
+ || node instanceof AST_Exit
+ && (side_effects || lhs instanceof AST_PropAccess || may_modify(lhs))
|| node instanceof AST_PropAccess
&& (side_effects || node.expression.may_throw_on_access(compressor))
|| node instanceof AST_SymbolRef
&& !(parent instanceof AST_Assign && parent.operator == "=" && parent.left === node)
- && (lvalues[node.name] || may_modify(node))
+ && (lvalues[node.name] || side_effects && may_modify(node))
|| node instanceof AST_VarDef && node.value
- && (node.name.name in lvalues || may_modify(node.name))
+ && (node.name.name in lvalues || side_effects && may_modify(node.name))
|| (sym = is_lhs(node.left, node))
&& (sym instanceof AST_PropAccess || sym.name in lvalues)
|| may_throw
}
function may_modify(sym) {
- if (!side_effects) return false;
var def = sym.definition();
if (def.orig.length == 1 && def.orig[0] instanceof AST_SymbolDefun) return false;
if (def.scope !== scope) return true;