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