Searched defs:HState (Results 1 – 1 of 1) sorted by relevance
245 const HandleState *HState = Pred->getState()->get<HStateMap>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE() local345 const HandleState *HState = State->get<HStateMap>(Handle); in checkPreCall() local421 const HandleState *HState = State->get<HStateMap>(Handle); in checkPostCall() local