ZAM ignores new "assert" statement

This commit is contained in:
Vern Paxson 2023-06-14 17:41:41 -07:00
parent 2c5b5bb41f
commit 5165a04ae0
10 changed files with 28 additions and 4 deletions

View file

@ -924,6 +924,16 @@ StmtPtr AssertStmt::Duplicate()
return SetSucc(new AssertStmt(cond->Duplicate(), msg ? msg->Duplicate() : nullptr));
}
bool AssertStmt::IsReduced(Reducer* c) const
{
return false;
}
StmtPtr AssertStmt::DoReduce(Reducer* c)
{
return make_intrusive<NullStmt>();
}
StmtPtr WhenStmt::Duplicate()
{
FuncType::CaptureList* cl_dup = nullptr;