Lines Matching refs:State
57 checkRegionChanges(ProgramStateRef State,
62 void printState(raw_ostream &Out, ProgramStateRef State,
211 void modelUse(ProgramStateRef State, const MemRegion *Region,
235 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) {
236 const RegionState *RS = State->get<TrackedRegionMap>(Region);
244 static ProgramStateRef removeFromState(ProgramStateRef State,
247 return State;
248 for (auto &E : State->get<TrackedRegionMap>()) {
250 State = State->remove<TrackedRegionMap>(E.first);
252 return State;
255 static bool isAnyBaseRegionReported(ProgramStateRef State,
257 for (auto &E : State->get<TrackedRegionMap>()) {
282 ProgramStateRef State = N->getState();
284 const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region);
341 ProgramStateRef State = N->getState();
342 if (!State->get<TrackedRegionMap>(Region))
350 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region,
354 const RegionState *RS = State->get<TrackedRegionMap>(Region);
365 C.addTransition(State);
372 if (isAnyBaseRegionReported(State, Region)) {
374 C.generateSink(State, C.getPredecessor());
376 C.addTransition(State);
387 State = State->set<TrackedRegionMap>(Region, RegionState::getReported());
388 C.addTransition(State, N);
449 ProgramStateRef State = C.getState();
484 if (State->get<TrackedRegionMap>(ArgRegion))
491 State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved());
492 C.addTransition(State);
604 ProgramStateRef State = C.getState();
611 State = removeFromState(State, CC->getCXXThisVal().getAsRegion());
618 modelUse(State, ArgRegion, RD, MK, C);
645 State = removeFromState(State, ThisRegion);
646 C.addTransition(State);
662 State = removeFromState(State, ThisRegion);
669 modelUse(State, ArgRegion, RD, MK, C);
672 C.addTransition(State);
677 modelUse(State, ThisRegion, RD, MK_Dereference, C);
682 modelUse(State, ThisRegion, RD, MK_FunCall, C);
687 ProgramStateRef State = C.getState();
688 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>();
695 State = State->remove<TrackedRegionMap>(Region);
698 C.addTransition(State);
702 ProgramStateRef State, const InvalidatedSymbols *Invalidated,
723 State = removeFromState(State, Region);
731 State = removeFromState(State, Region->getBaseRegion());
734 return State;
737 void MoveChecker::printState(raw_ostream &Out, ProgramStateRef State,
740 TrackedRegionMapTy RS = State->get<TrackedRegionMap>();