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()348 const HandleState *HState = State->get<HStateMap>(Handle); in checkPreCall() local349 if (!HState || HState->isEscaped()) in checkPreCall()354 if (HState->isReleased()) { in checkPreCall()424 const HandleState *HState = State->get<HStateMap>(Handle); in checkPostCall() local425 if (HState && HState->isEscaped()) in checkPostCall()428 if (HState && HState->isReleased()) { in checkPostCall()431 } else if (HState && HState->isUnowned()) { in checkPostCall()