Searched refs:visitNodeInitial (Results 1 – 1 of 1) sorted by relevance
849 visitNodeInitial(const ExplodedNode *N, in visitNodeInitial() function in __anona9edee720111::ReturnVisitor1005 return visitNodeInitial(N, BRC, BR); in VisitNode()