Searched refs:HStateMap (Results 1 – 1 of 1) sorted by relevance
230 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument237 if (!State->get<HStateMap>(Sym)) in REGISTER_MAP_WITH_PROGRAMSTATE()243 if (!State->get<HStateMap>(Sym)) { in REGISTER_MAP_WITH_PROGRAMSTATE()244 const HandleState *HState = Pred->getState()->get<HStateMap>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE()329 State = State->set<HStateMap>(Handle, HandleState::getEscaped()); in checkPreCall()348 const HandleState *HState = State->get<HStateMap>(Handle); in checkPreCall()397 State->set<HStateMap>(RetSym, HandleState::getMaybeAllocated(nullptr)); in checkPostCall()412 State = State->set<HStateMap>(RetSym, HandleState::getUnowned()); in checkPostCall()424 const HandleState *HState = State->get<HStateMap>(Handle); in checkPostCall()446 State = State->set<HStateMap>(Handle, HandleState::getReleased()); in checkPostCall()[all …]