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