Cross Reference: /external/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp

Lines Matching refs:Eng

591   ExplodedNode *N = C.Eng.G->getNode(Loc, State, MarkAsSink, &IsNew);
592   N->addPredecessor(FromN, *C.Eng.G);
633   ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
636   Succ->addPredecessor(Pred, *Eng.G);
642     Eng.WList->enqueue(Succ);
653   ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
656   Succ->addPredecessor(Pred, *Eng.G);
660   Eng.WList->enqueue(Succ);
678   ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock,
681   Succ->addPredecessor(Pred, *Eng.G);
687     Eng.WList->enqueue(Succ);

OpenGrok