111                                ProgramStateRef State,
117                                    ProgramStateRef State,  in definitelyDidnotReturnError()  argument
119     return definitelyReturnedError(RetSym, State, Builder, true);  in definitelyDidnotReturnError()
212   ProgramStateRef State = C.getState();  in getAsPointeeSymbol()  local
213   SVal ArgV = State->getSVal(Expr, C.getLocationContext());  in getAsPointeeSymbol()
217     SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol();  in getAsPointeeSymbol()
231                                                       ProgramStateRef State,  in definitelyReturnedError()  argument
236   DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,  in definitelyReturnedError()
238   ProgramStateRef ErrState = State->assume(NoErr, noError);  in definitelyReturnedError()
239   return ErrState == State;  in definitelyReturnedError()
248   ProgramStateRef State = C.getState();  in generateDeallocatorMismatchReport()  local
249   State = State->remove<AllocatedData>(AP.first);  in generateDeallocatorMismatchReport()
250   ExplodedNode *N = C.generateNonFatalErrorNode(State);  in generateDeallocatorMismatchReport()
272   ProgramStateRef State = C.getState();  in checkPreStmt()  local
291       if (const AllocationState *AS = State->get<AllocatedData>(V)) {  in checkPreStmt()
292         if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) {  in checkPreStmt()
295           State = State->remove<AllocatedData>(V);  in checkPreStmt()
296           ExplodedNode *N = C.generateNonFatalErrorNode(State);  in checkPreStmt()
328   SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext());  in checkPreStmt()
346   const AllocationState *AS = State->get<AllocatedData>(ArgSM);  in checkPreStmt()
359     ExplodedNode *N = C.generateNonFatalErrorNode(State);  in checkPreStmt()
401       State = State->remove<AllocatedData>(ArgSM);  in checkPreStmt()
402       C.addTransition(State);  in checkPreStmt()
411   State = State->remove<AllocatedData>(ArgSM);  in checkPreStmt()
423   if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) &&  in checkPreStmt()
424       !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) {  in checkPreStmt()
425     ExplodedNode *N = C.generateNonFatalErrorNode(State);  in checkPreStmt()
438   C.addTransition(State);  in checkPreStmt()
443   ProgramStateRef State = C.getState();  in checkPostStmt()  local
476       State->getSVal(CE, C.getLocationContext()).getAsSymbol();  in checkPostStmt()
480     State = State->set<AllocatedData>(V, AllocationState(ArgExpr, idx,  in checkPostStmt()
482     assert(State);  in checkPostStmt()
483     C.addTransition(State);  in checkPostStmt()
550   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
551   AllocatedDataTy ASet = State->get<AllocatedData>();  in checkDeadSymbols()
562     State = State->remove<AllocatedData>(I->first);  in checkDeadSymbols()
565     ConstraintManager &CMgr = State->getConstraintManager();  in checkDeadSymbols()
566     ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey());  in checkDeadSymbols()
568         definitelyReturnedError(I->second.Region, State, C.getSValBuilder()))  in checkDeadSymbols()
574     C.addTransition(State);  in checkDeadSymbols()
588   C.addTransition(State, N);  in checkDeadSymbols()