From 9c4da40e390dab9b635b9fea3cbe5add8201560f Mon Sep 17 00:00:00 2001 From: Vern Paxson Date: Mon, 8 Apr 2024 17:07:41 -0400 Subject: [PATCH] fix for ZAM optimization of '!' expressions --- src/script_opt/Expr.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/script_opt/Expr.cc b/src/script_opt/Expr.cc index f06d6f9a0c..23cb29b548 100644 --- a/src/script_opt/Expr.cc +++ b/src/script_opt/Expr.cc @@ -658,8 +658,8 @@ ExprPtr NotExpr::Duplicate() { return SetSucc(new NotExpr(op->Duplicate())); } bool NotExpr::WillTransform(Reducer* c) const { return op->Tag() == EXPR_NOT && Op()->GetType()->Tag() == TYPE_BOOL; } ExprPtr NotExpr::Reduce(Reducer* c, StmtPtr& red_stmt) { - if ( op->Tag() == EXPR_NOT && Op()->GetType()->Tag() == TYPE_BOOL ) - return Op()->Reduce(c, red_stmt); + if ( op->Tag() == EXPR_NOT ) + return op->GetOp1()->Reduce(c, red_stmt); return UnaryExpr::Reduce(c, red_stmt); }