874   ProgramStateRef CleanedState = Pred->getState();  in removeDead()
917     ProgramStateRef CheckerState = I->getState();  in removeDead()
923     assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&  in removeDead()
926     assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &&  in removeDead()
975   ProgramStateRef NewState = Pred->getState();  in ProcessLoopExit()
1000   ProgramStateRef State = Pred->getState();  in ProcessInitializer()
1066     ProgramStateRef State = I->getState();  in ProcessInitializer()
1115     Bldr.generateNode(PP, Pred->getState(), Pred);  in ProcessNewAllocator()
1126   ProgramStateRef state = Pred->getState();  in ProcessAutomaticObjDtor()
1158   ProgramStateRef State = Pred->getState();  in ProcessDeleteDtor()
1174     Bldr.generateNode(PP, Pred->getState(), Pred);  in ProcessDeleteDtor()
1202   SVal ThisVal = Pred->getState()->getSVal(ThisPtr);  in ProcessBaseDtor()
1219   ProgramStateRef State = Pred->getState();  in ProcessMemberDtor()
1242   ProgramStateRef State = Pred->getState();  in ProcessTemporaryDtor()
1306   ProgramStateRef State = Pred->getState();  in processCleanupTemporaryBranch()
1331     ProgramStateRef State = Node->getState();  in VisitCXXBindTemporaryExpr()
1482       const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());  in Visit()
1523       ProgramStateRef state = Pred->getState();  in Visit()
1647         ProgramStateRef State = I->getState();  in Visit()
1682         ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result);  in Visit()
1737         const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());  in Visit()
1751         ProgramStateRef state = Pred->getState();  in Visit()
1782           ProgramStateRef State = Pred->getState();  in Visit()
1982       Bldr.generateSink(S, Pred, Pred->getState());  in Visit()
2024         ProgramStateRef state = Pred->getState();  in Visit()
2049       ProgramStateRef state = Pred->getState();  in Visit()
2070       ProgramStateRef state = Pred->getState();  in Visit()
2124   ProgramStateRef NewNodeState = BeforeProcessingCall->getState();  in replayWithoutInlining()
2158       if (NewState != Pred->getState()) {  in processCFGBlockEntrance()
2166     if(isUnrolledState(Pred->getState()))  in processCFGBlockEntrance()
2181         getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term);  in processCFGBlockEntrance()
2190                    nodeBuilder.generateSink(Pred->getState(), Pred, &tag);  in processCFGBlockEntrance()
2355   ProgramStateRef State = N->getState();  in assumeCondition()
2381                                 N->getState()->getStateManager().getContext());  in assumeCondition()
2416     NullCondBldr.generateNode(Pred->getState(), true, Pred);  in processBranch()
2440     ProgramStateRef PrevState = PredN->getState();  in processBranch()
2488   ProgramStateRef state = Pred->getState();  in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2505   ProgramStateRef state = builder.getState();  in processIndirectGoto()
2558   ProgramStateRef State = Pred->getState();  in processEndOfFunction()
2563                    Pred->getStackFrame(), Pred->getState()));  in processEndOfFunction()
2594   if (State != Pred->getState()) {  in processEndOfFunction()
2605   assert(areAllObjectsFullyConstructed(Pred->getState(),  in processEndOfFunction()
2632   ProgramStateRef state = builder.getState();  in processSwitch()
2717   ProgramStateRef state = Pred->getState();  in VisitCommonDeclRefExpr()
2870     ProgramStateRef state = Node->getState();  in VisitArrayInitLoopExpr()
2972     ProgramStateRef state = Node->getState();  in VisitArraySubscriptExpr()
3020       ProgramStateRef state = I->getState();  in VisitMemberExpr()
3093     ProgramStateRef State = I->getState();  in VisitAtomicExpr()
3239     ProgramStateRef state = Pred->getState();  in evalBind()
3246     ProgramStateRef state = PredI->getState();  in evalBind()
3321     state = I->getState();  in evalLoad()
3352   if (Pred->getState() != state) {  in evalLocation()
3396     ProgramStateRef state = Pred->getState();  in evalEagerlyAssumeBinOpBifurcation()
3433   ProgramStateRef state = Pred->getState();  in VisitGCCAsmStmt()
3449   Bldr.generateNode(A, Pred, Pred->getState());  in VisitMSAsmStmt()
3464       N->getState()->getStateManager().getOwningEngine()).getBugReporter();  in nodeHasBugReport()
3475         if (EN->getState() == N->getState() &&  in nodeHasBugReport()
3516     ProgramStateRef State = N->getState();  in getNodeLabel()