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()460 State = State->set<HStateMap>( in checkPostCall()510 HStateMapTy TrackedHandles = State->get<HStateMap>(); in checkDeadSymbols()522 State = State->remove<HStateMap>(CurItem.first); in checkDeadSymbols()547 HStateMapTy TrackedHandles = State->get<HStateMap>(); in evalAssume()552 State = State->remove<HStateMap>(CurItem.first); in evalAssume()561 State = State->set<HStateMap>( in evalAssume()566 State = State->remove<HStateMap>(CurItem.first); in evalAssume()600 for (auto I : State->get<HStateMap>()) { in checkPointerEscape()[all …]