Lines Matching refs:State
105 void printState(raw_ostream &Out, ProgramStateRef State, const char *NL,
263 ProgramStateRef State) {
264 ConditionTruthVal Nullness = State->isNull(Val);
296 ProgramStateRef State = N->getState();
299 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);
331 static bool checkValueAtLValForInvariantViolation(ProgramStateRef State,
346 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>();
350 if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull)
358 ProgramStateRef State,
364 SVal LV = State->getLValue(ParamDecl, LocCtxt);
365 if (checkValueAtLValForInvariantViolation(State, LV,
374 checkSelfIvarsForInvariantViolation(ProgramStateRef State,
384 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt));
396 SVal LV = State->getLValue(IvarDecl, SelfVal);
397 if (checkValueAtLValForInvariantViolation(State, LV, IvarDecl->getType())) {
404 static bool checkInvariantViolation(ProgramStateRef State, ExplodedNode *N,
406 if (State->get<InvariantViolated>())
424 if (checkParamsForPreconditionViolation(Params, State, LocCtxt) ||
425 checkSelfIvarsForInvariantViolation(State, LocCtxt)) {
427 C.addTransition(State->set<InvariantViolated>(true), N);
451 ProgramStateRef State = C.getState();
452 NullabilityMapTy Nullabilities = State->get<NullabilityMap>();
459 State = State->remove<NullabilityMap>(I->first);
466 if (checkInvariantViolation(State, C.getPredecessor(), C))
468 C.addTransition(State);
483 ProgramStateRef State = Event.SinkNode->getState();
485 State->get<NullabilityMap>(Region);
531 ProgramStateRef State = C.getState();
532 if (State->get<InvariantViolated>())
561 NullConstraint Nullness = getNullConstraint(*RetSVal, State);
581 ExplodedNode *N = C.generateErrorNode(State, &Tag);
599 State = State->set<InvariantViolated>(true);
600 C.addTransition(State);
609 State->get<NullabilityMap>(Region);
617 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);
631 State = State->set<NullabilityMap>(Region,
634 C.addTransition(State);
645 ProgramStateRef State = C.getState();
646 if (State->get<InvariantViolated>())
649 ProgramStateRef OrigState = State;
668 NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
681 ExplodedNode *N = C.generateErrorNode(State);
701 State->get<NullabilityMap>(Region);
711 ExplodedNode *N = C.addTransition(State);
723 ExplodedNode *N = C.addTransition(State);
732 if (State != OrigState)
733 C.addTransition(State);
751 ProgramStateRef State = C.getState();
752 if (State->get<InvariantViolated>())
764 State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
765 C.addTransition(State);
770 State->get<NullabilityMap>(Region);
774 State = State->set<NullabilityMap>(Region, Nullability::Nullable);
775 C.addTransition(State);
780 ProgramStateRef State) {
791 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);
801 State->get<NullabilityMap>(SelfRegion);
820 ProgramStateRef State = C.getState();
821 if (State->get<InvariantViolated>())
843 State =
844 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);
845 C.addTransition(State);
853 State =
854 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);
855 C.addTransition(State);
866 State = State->set<NullabilityMap>(ReturnRegion,
868 C.addTransition(State);
876 Nullability SelfNullability = getReceiverNullability(M, State);
879 State->get<NullabilityMap>(ReturnRegion);
894 State = State->set<NullabilityMap>(
896 C.addTransition(State);
916 State = State->set<NullabilityMap>(
918 C.addTransition(State);
935 ProgramStateRef State = C.getState();
936 if (State->get<InvariantViolated>())
953 NullConstraint Nullness = getNullConstraint(*RegionSVal, State);
955 State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
956 C.addTransition(State);
962 State->get<NullabilityMap>(Region);
967 State = State->set<NullabilityMap>(Region,
969 C.addTransition(State);
975 State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
976 C.addTransition(State);
1059 ProgramStateRef State = C.getState();
1060 if (State->get<InvariantViolated>())
1067 NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State);
1092 ExplodedNode *N = C.generateErrorNode(State, &Tag);
1114 State = State->set<InvariantViolated>(true);
1115 C.addTransition(State);
1127 State->get<NullabilityMap>(ValueRegion);
1136 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);
1151 State = State->set<NullabilityMap>(
1153 C.addTransition(State);
1159 State = State->set<NullabilityMap>(
1161 C.addTransition(State);
1165 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State,
1168 NullabilityMapTy B = State->get<NullabilityMap>();
1170 if (State->get<InvariantViolated>())
1177 if (!State->get<InvariantViolated>())