reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
398 const LocationContext *LCtx = Pred->getLocationContext(); 399 ProgramStateRef State = Pred->getState(); 409 StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx); 413 Bldr.generateNode(CE, Pred, State); 485 if (State != Pred->getState()) { 489 StmtNodeBuilder BldrPrepare(Pred, DstPrepare, *currBldrCtx); 490 BldrPrepare.generateNode(CE, Pred, State, &T, ProgramPoint::PreStmtKind); 494 Pred = *BldrPrepare.begin(); 502 getCheckerManager().runCheckersForPreStmt(DstPreVisit, Pred, CE, *this);