================
@@ -25,18 +25,13 @@ void ExprEngine::VisitLvalObjCIvarRefExpr(const
ObjCIvarRefExpr *Ex,
const StackFrame *SF = Pred->getStackFrame();
SVal baseVal = state->getSVal(Ex->getBase(), SF);
SVal location = state->getLValue(Ex->getDecl(), baseVal);
-
- ExplodedNode *N = Engine.makeNodeWithBinding(Pred, Ex, location);
-
- // Perform the post-condition check of the ObjCIvarRefExpr and store
- // the created nodes in 'Dst'.
- getCheckerManager().runCheckersForPostStmt(Dst, N, Ex, *this);
+ Dst.insert(Engine.makeNodeWithBinding(Pred, Ex, location));
}
void ExprEngine::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S,
ExplodedNode *Pred,
ExplodedNodeSet &Dst) {
- getCheckerManager().runCheckersForPreStmt(Dst, Pred, S, *this);
+ Dst.insert(Pred);
}
----------------
NagyDonat wrote:
Consider inlining and deleting this trivial method, following the example of
other statement kinds that are handled trivially.
https://github.com/llvm/llvm-project/pull/218691
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
