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