Searched refs:PrevSt (Results 1 – 1 of 1) sorted by relevance
1900 ProgramStateRef PrevSt = PrevN->getState(); in VisitNode() local1908 const RefVal *PrevT = getRefBinding(PrevSt, Sym); in VisitNode()