Searched refs:HState (Results 1 – 1 of 1) sorted by relevance
244 const HandleState *HState = Pred->getState()->get<HStateMap>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE() local245 if (HState && (HState->isAllocated() || HState->maybeAllocated())) in REGISTER_MAP_WITH_PROGRAMSTATE()344 const HandleState *HState = State->get<HStateMap>(Handle); in checkPreCall() local345 if (!HState || HState->isEscaped()) in checkPreCall()350 if (HState->isReleased()) { in checkPreCall()420 const HandleState *HState = State->get<HStateMap>(Handle); in checkPostCall() local421 if (HState && HState->isEscaped()) in checkPostCall()424 if (HState && HState->isReleased()) { in checkPostCall()427 } else if (HState && HState->isUnowned()) { in checkPostCall()