Searched refs:HStateMap (Results 1 – 1 of 1) sorted by relevance
237 if (!State->get<HStateMap>(Sym)) in REGISTER_MAP_WITH_PROGRAMSTATE()243 if (!State->get<HStateMap>(Sym)) { in REGISTER_MAP_WITH_PROGRAMSTATE()456 State = State->set<HStateMap>( in checkPostCall()506 HStateMapTy TrackedHandles = State->get<HStateMap>(); in checkDeadSymbols()518 State = State->remove<HStateMap>(CurItem.first); in checkDeadSymbols()543 HStateMapTy TrackedHandles = State->get<HStateMap>(); in evalAssume()548 State = State->remove<HStateMap>(CurItem.first); in evalAssume()557 State = State->set<HStateMap>( in evalAssume()562 State = State->remove<HStateMap>(CurItem.first); in evalAssume()596 for (auto I : State->get<HStateMap>()) { in checkPointerEscape()[all …]