reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
221 return Eng.WList->getBlockCounter().getNumVisited(
tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp611 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew); 612 N->addPredecessor(FromN, C.Eng.G);