reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
818 auto RegionMap = State->get<IteratorRegionMap>(); 824 if (!isBoundThroughLazyCompoundVal(State->getEnvironment(), Reg.first)) { 825 State = State->remove<IteratorRegionMap>(Reg.first); 825 State = State->remove<IteratorRegionMap>(Reg.first); 830 auto SymbolMap = State->get<IteratorSymbolMap>(); 833 State = State->remove<IteratorSymbolMap>(Sym.first); 833 State = State->remove<IteratorSymbolMap>(Sym.first); 837 auto ContMap = State->get<ContainerMap>(); 842 if (!hasLiveIterators(State, Cont.first)) { 843 State = State->remove<ContainerMap>(Cont.first); 843 State = State->remove<ContainerMap>(Cont.first); 848 C.addTransition(State);