Lines Matching refs:State
121 void printState(raw_ostream &Out, ProgramStateRef State, const char *NL,
250 ProgramStateRef State) { in getNullConstraint() argument
251 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint()
283 ProgramStateRef State = N->getState(); in VisitNode() local
286 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region); in VisitNode()
333 ProgramStateRef State, in checkParamsForPreconditionViolation() argument
342 auto RegVal = State->getLValue(ParamDecl, LocCtxt) in checkParamsForPreconditionViolation()
347 auto ParamValue = State->getSVal(RegVal->getRegion()) in checkParamsForPreconditionViolation()
352 if (getNullConstraint(*ParamValue, State) == NullConstraint::IsNull) { in checkParamsForPreconditionViolation()
359 static bool checkPreconditionViolation(ProgramStateRef State, ExplodedNode *N, in checkPreconditionViolation() argument
361 if (State->get<PreconditionViolated>()) in checkPreconditionViolation()
370 if (checkParamsForPreconditionViolation(BlockD->parameters(), State, in checkPreconditionViolation()
373 C.addTransition(State->set<PreconditionViolated>(true), N); in checkPreconditionViolation()
380 if (checkParamsForPreconditionViolation(FuncDecl->parameters(), State, in checkPreconditionViolation()
383 C.addTransition(State->set<PreconditionViolated>(true), N); in checkPreconditionViolation()
412 ProgramStateRef State = C.getState(); in checkDeadSymbols() local
413 NullabilityMapTy Nullabilities = State->get<NullabilityMap>(); in checkDeadSymbols()
420 State = State->remove<NullabilityMap>(I->first); in checkDeadSymbols()
427 if (checkPreconditionViolation(State, C.getPredecessor(), C)) in checkDeadSymbols()
429 C.addTransition(State); in checkDeadSymbols()
444 ProgramStateRef State = Event.SinkNode->getState(); in checkEvent() local
446 State->get<NullabilityMap>(Region); in checkEvent()
478 ProgramStateRef State = C.getState(); in checkPreStmt() local
479 if (State->get<PreconditionViolated>()) in checkPreStmt()
483 State->getSVal(S, C.getLocationContext()).getAs<DefinedOrUnknownSVal>(); in checkPreStmt()
493 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt()
502 ExplodedNode *N = C.generateErrorNode(State, &Tag); in checkPreStmt()
515 State->get<NullabilityMap>(Region); in checkPreStmt()
523 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
530 State = State->set<NullabilityMap>(Region, in checkPreStmt()
532 C.addTransition(State); in checkPreStmt()
543 ProgramStateRef State = C.getState(); in checkPreCall() local
544 if (State->get<PreconditionViolated>()) in checkPreCall()
547 ProgramStateRef OrigState = State; in checkPreCall()
565 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()
574 ExplodedNode *N = C.generateErrorNode(State); in checkPreCall()
587 State->get<NullabilityMap>(Region); in checkPreCall()
596 ExplodedNode *N = C.addTransition(State); in checkPreCall()
603 ExplodedNode *N = C.addTransition(State); in checkPreCall()
613 State = State->set<NullabilityMap>( in checkPreCall()
616 if (State != OrigState) in checkPreCall()
617 C.addTransition(State); in checkPreCall()
635 ProgramStateRef State = C.getState(); in checkPostCall() local
636 if (State->get<PreconditionViolated>()) in checkPostCall()
648 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostCall()
649 C.addTransition(State); in checkPostCall()
654 State->get<NullabilityMap>(Region); in checkPostCall()
658 State = State->set<NullabilityMap>(Region, Nullability::Nullable); in checkPostCall()
659 C.addTransition(State); in checkPostCall()
664 ProgramStateRef State) { in getReceiverNullability() argument
675 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State); in getReceiverNullability()
685 State->get<NullabilityMap>(SelfRegion); in getReceiverNullability()
704 ProgramStateRef State = C.getState(); in checkPostObjCMessage() local
705 if (State->get<PreconditionViolated>()) in checkPostObjCMessage()
727 State = in checkPostObjCMessage()
728 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
729 C.addTransition(State); in checkPostObjCMessage()
737 State = in checkPostObjCMessage()
738 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
739 C.addTransition(State); in checkPostObjCMessage()
750 State = State->set<NullabilityMap>(ReturnRegion, in checkPostObjCMessage()
752 C.addTransition(State); in checkPostObjCMessage()
760 Nullability SelfNullability = getReceiverNullability(M, State); in checkPostObjCMessage()
763 State->get<NullabilityMap>(ReturnRegion); in checkPostObjCMessage()
778 State = State->set<NullabilityMap>( in checkPostObjCMessage()
780 C.addTransition(State); in checkPostObjCMessage()
800 State = State->set<NullabilityMap>( in checkPostObjCMessage()
802 C.addTransition(State); in checkPostObjCMessage()
819 ProgramStateRef State = C.getState(); in checkPostStmt() local
820 if (State->get<PreconditionViolated>()) in checkPostStmt()
831 State->getSVal(CE, C.getLocationContext()).getAs<DefinedOrUnknownSVal>(); in checkPostStmt()
838 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); in checkPostStmt()
840 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
841 C.addTransition(State); in checkPostStmt()
847 State->get<NullabilityMap>(Region); in checkPostStmt()
852 State = State->set<NullabilityMap>(Region, in checkPostStmt()
854 C.addTransition(State); in checkPostStmt()
860 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
861 C.addTransition(State); in checkPostStmt()
902 ProgramStateRef State = C.getState(); in checkBind() local
903 if (State->get<PreconditionViolated>()) in checkBind()
910 NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State); in checkBind()
922 ExplodedNode *N = C.generateErrorNode(State, &Tag); in checkBind()
942 State->get<NullabilityMap>(ValueRegion); in checkBind()
951 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkBind()
964 State = State->set<NullabilityMap>( in checkBind()
966 C.addTransition(State); in checkBind()
972 State = State->set<NullabilityMap>( in checkBind()
974 C.addTransition(State); in checkBind()
978 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState() argument
981 NullabilityMapTy B = State->get<NullabilityMap>(); in printState()