Searched refs:HStateMap (Results 1 – 1 of 1) sorted by relevance
238 if (!State->get<HStateMap>(Sym)) in REGISTER_MAP_WITH_PROGRAMSTATE()244 if (!State->get<HStateMap>(Sym)) { in REGISTER_MAP_WITH_PROGRAMSTATE()457 State = State->set<HStateMap>( in checkPostCall()507 HStateMapTy TrackedHandles = State->get<HStateMap>(); in checkDeadSymbols()519 State = State->remove<HStateMap>(CurItem.first); in checkDeadSymbols()544 HStateMapTy TrackedHandles = State->get<HStateMap>(); in evalAssume()549 State = State->remove<HStateMap>(CurItem.first); in evalAssume()558 State = State->set<HStateMap>( in evalAssume()563 State = State->remove<HStateMap>(CurItem.first); in evalAssume()597 for (auto I : State->get<HStateMap>()) { in checkPointerEscape()[all …]