Searched refs:HState (Results 1 – 1 of 1) sorted by relevance
245 const HandleState *HState = Pred->getState()->get<HStateMap>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE() local246 if (HState && (HState->isAllocated() || HState->maybeAllocated())) in REGISTER_MAP_WITH_PROGRAMSTATE()345 const HandleState *HState = State->get<HStateMap>(Handle); in checkPreCall() local346 if (!HState || HState->isEscaped()) in checkPreCall()351 if (HState->isReleased()) { in checkPreCall()421 const HandleState *HState = State->get<HStateMap>(Handle); in checkPostCall() local422 if (HState && HState->isEscaped()) in checkPostCall()425 if (HState && HState->isReleased()) { in checkPostCall()428 } else if (HState && HState->isUnowned()) { in checkPostCall()