fix(minifier): a in b has error throwing side effect (#8406)

This commit is contained in:
Boshen 2025-01-10 05:23:07 +00:00
parent 2f3a9dc74c
commit 7ce6a7c741
2 changed files with 4 additions and 4 deletions

View file

@ -1,5 +1,5 @@
use oxc_ast::ast::*;
use oxc_syntax::operator::UnaryOperator;
use oxc_syntax::operator::{BinaryOperator, UnaryOperator};
/// A "simple" operator is one whose children are expressions, has no direct side-effects.
fn is_simple_unary_operator(operator: UnaryOperator) -> bool {
@ -63,7 +63,6 @@ impl<'a> CheckForStateChange<'a, '_> for Expression<'a> {
if check_for_new_objects {
return true;
}
object_expr
.properties
.iter()
@ -95,8 +94,8 @@ impl<'a> CheckForStateChange<'a, '_> for UnaryExpression<'a> {
impl<'a> CheckForStateChange<'a, '_> for BinaryExpression<'a> {
fn check_for_state_change(&self, check_for_new_objects: bool) -> bool {
// `instanceof` can throw `TypeError`
if self.operator.is_instance_of() {
// `instanceof` and `in` can throw `TypeError`
if matches!(self.operator, BinaryOperator::In | BinaryOperator::Instanceof) {
return true;
}
let left = self.left.check_for_state_change(check_for_new_objects);

View file

@ -718,6 +718,7 @@ mod test {
fold_same("(0, o.f)();");
fold("var obj = Object((null, 2, 3), 1, 2);", "var obj = Object(3, 1, 2);");
fold_same("(0 instanceof 0, foo)");
fold_same("(0 in 0, foo)");
}
#[test]