Searched refs:HStateMap (Results 1 – 1 of 1) sorted by relevance
231 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument238 if (!State->get<HStateMap>(Sym)) in REGISTER_MAP_WITH_PROGRAMSTATE()244 if (!State->get<HStateMap>(Sym)) { in REGISTER_MAP_WITH_PROGRAMSTATE()245 const HandleState *HState = Pred->getState()->get<HStateMap>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE()326 State = State->set<HStateMap>(Handle, HandleState::getEscaped()); in checkPreCall()345 const HandleState *HState = State->get<HStateMap>(Handle); in checkPreCall()394 State->set<HStateMap>(RetSym, HandleState::getMaybeAllocated(nullptr)); in checkPostCall()409 State = State->set<HStateMap>(RetSym, HandleState::getUnowned()); in checkPostCall()421 const HandleState *HState = State->get<HStateMap>(Handle); in checkPostCall()443 State = State->set<HStateMap>(Handle, HandleState::getReleased()); in checkPostCall()[all …]