Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

fix for ZAM optimization of '!' expressions

Browse source
This commit is contained in:
Vern Paxson 2024-04-08 17:07:41 -04:00 • committed by Tim Wojtulewicz
parent a72b1af2ea
commit 9c4da40e39
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/script_opt/Expr.cc
View file

@ -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; } bool NotExpr::WillTransform(Reducer* c) const { return op->Tag() == EXPR_NOT && Op()->GetType()->Tag() == TYPE_BOOL; }
ExprPtr NotExpr::Reduce(Reducer* c, StmtPtr& red_stmt) { ExprPtr NotExpr::Reduce(Reducer* c, StmtPtr& red_stmt) {
if ( op->Tag() == EXPR_NOT && Op()->GetType()->Tag() == TYPE_BOOL ) if ( op->Tag() == EXPR_NOT )
return Op()->Reduce(c, red_stmt); return op->GetOp1()->Reduce(c, red_stmt);
return UnaryExpr::Reduce(c, red_stmt); return UnaryExpr::Reduce(c, red_stmt);
} }