================
@@ -3180,110 +3419,97 @@ void ExprEngine::VisitArrayInitLoopExpr(const
ArrayInitLoopExpr *Ex,
ExplodedNodeSet &Dst) {
const Expr *Arr = Ex->getCommonExpr()->getSourceExpr();
- ExplodedNodeSet CheckerPreStmt;
- getCheckerManager().runCheckersForPreStmt(CheckerPreStmt, Pred, Ex, *this);
-
- ExplodedNodeSet EvalSet;
+ // The constructor visitor has already handled everything, so let's skip
+ // forward to PostStmt handling.
----------------
NagyDonat wrote:
I'd suggest removing the second half of this comment ("so let's skip forward to
PostStmt handling.") because it was intended to explain the goals of the tricky
`CheckerPreStmt.clear()` call.
It is still true that we're skipping forward to the `PostStmt` handling, but
this no longer needs explanation.
https://github.com/llvm/llvm-project/pull/218691
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
