reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
353 const RegionState *RS = State->get<TrackedRegionMap>(Region); 364 C.addTransition(State); 371 if (isAnyBaseRegionReported(State, Region)) { 373 C.generateSink(State, C.getPredecessor()); 375 C.addTransition(State); 386 State = State->set<TrackedRegionMap>(Region, RegionState::getReported()); 386 State = State->set<TrackedRegionMap>(Region, RegionState::getReported()); 387 C.addTransition(State, N);