Lines Matching refs:State
120 void printState(raw_ostream &Out, ProgramStateRef State, const char *NL,
279 ProgramStateRef State) {
280 ConditionTruthVal Nullness = State->isNull(Val);
312 ProgramStateRef State = N->getState();
315 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);
361 static bool checkValueAtLValForInvariantViolation(ProgramStateRef State,
371 State->getSVal(RegionVal->getRegion()).getAs<DefinedOrUnknownSVal>();
375 if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull)
383 ProgramStateRef State,
389 SVal LV = State->getLValue(ParamDecl, LocCtxt);
390 if (checkValueAtLValForInvariantViolation(State, LV,
399 checkSelfIvarsForInvariantViolation(ProgramStateRef State,
409 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt));
421 SVal LV = State->getLValue(IvarDecl, SelfVal);
422 if (checkValueAtLValForInvariantViolation(State, LV, IvarDecl->getType())) {
429 static bool checkInvariantViolation(ProgramStateRef State, ExplodedNode *N,
431 if (State->get<InvariantViolated>())
449 if (checkParamsForPreconditionViolation(Params, State, LocCtxt) ||
450 checkSelfIvarsForInvariantViolation(State, LocCtxt)) {
452 C.addTransition(State->set<InvariantViolated>(true), N);
473 /// Cleaning up the program state.
479 ProgramStateRef State = C.getState();
480 NullabilityMapTy Nullabilities = State->get<NullabilityMap>();
487 State = State->remove<NullabilityMap>(I->first);
494 if (checkInvariantViolation(State, C.getPredecessor(), C))
496 C.addTransition(State);
511 ProgramStateRef State = Event.SinkNode->getState();
513 State->get<NullabilityMap>(Region);
559 ProgramStateRef State = C.getState();
560 if (State->get<InvariantViolated>())
564 State->getSVal(S, C.getLocationContext()).getAs<DefinedOrUnknownSVal>();
590 NullConstraint Nullness = getNullConstraint(*RetSVal, State);
610 ExplodedNode *N = C.generateErrorNode(State, &Tag);
628 State = State->set<InvariantViolated>(true);
629 C.addTransition(State);
638 State->get<NullabilityMap>(Region);
646 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);
660 State = State->set<NullabilityMap>(Region,
663 C.addTransition(State);
674 ProgramStateRef State = C.getState();
675 if (State->get<InvariantViolated>())
678 ProgramStateRef OrigState = State;
696 NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
709 ExplodedNode *N = C.generateErrorNode(State);
727 State->get<NullabilityMap>(Region);
737 ExplodedNode *N = C.addTransition(State);
749 ExplodedNode *N = C.addTransition(State);
760 State = State->set<NullabilityMap>(
763 if (State != OrigState)
764 C.addTransition(State);
782 ProgramStateRef State = C.getState();
783 if (State->get<InvariantViolated>())
795 State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
796 C.addTransition(State);
801 State->get<NullabilityMap>(Region);
805 State = State->set<NullabilityMap>(Region, Nullability::Nullable);
806 C.addTransition(State);
811 ProgramStateRef State) {
817 // Otherwise look up nullability in the state.
822 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);
832 State->get<NullabilityMap>(SelfRegion);
851 ProgramStateRef State = C.getState();
852 if (State->get<InvariantViolated>())
874 State =
875 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);
876 C.addTransition(State);
884 State =
885 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);
886 C.addTransition(State);
897 State = State->set<NullabilityMap>(ReturnRegion,
899 C.addTransition(State);
907 Nullability SelfNullability = getReceiverNullability(M, State);
910 State->get<NullabilityMap>(ReturnRegion);
925 State = State->set<NullabilityMap>(
927 C.addTransition(State);
947 State = State->set<NullabilityMap>(
949 C.addTransition(State);
966 ProgramStateRef State = C.getState();
967 if (State->get<InvariantViolated>())
978 State->getSVal(CE, C.getLocationContext()).getAs<DefinedOrUnknownSVal>();
985 NullConstraint Nullness = getNullConstraint(*RegionSVal, State);
987 State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
988 C.addTransition(State);
994 State->get<NullabilityMap>(Region);
999 State = State->set<NullabilityMap>(Region,
1001 C.addTransition(State);
1007 State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
1008 C.addTransition(State);
1091 ProgramStateRef State = C.getState();
1092 if (State->get<InvariantViolated>())
1099 NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State);
1124 ExplodedNode *N = C.generateErrorNode(State, &Tag);
1143 State = State->set<InvariantViolated>(true);
1144 C.addTransition(State);
1156 State->get<NullabilityMap>(ValueRegion);
1165 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);
1180 State = State->set<NullabilityMap>(
1182 C.addTransition(State);
1188 State = State->set<NullabilityMap>(
1190 C.addTransition(State);
1194 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State,
1197 NullabilityMapTy B = State->get<NullabilityMap>();
