Searched refs:visitNodeInitial (Results 1 – 1 of 1) sorted by relevance
230 PathDiagnosticPiece *visitNodeInitial(const ExplodedNode *N, in visitNodeInitial() function in __anon97de90050111::ReturnVisitor388 return visitNodeInitial(N, PrevN, BRC, BR); in VisitNode()