Home | History | Annotate | Download | only in Core

Lines Matching refs:Succ

1878         const ExplodedNode *Succ = *WI.I;        
1880         if (Succ->succ_empty()) {
1882           if (!Succ->isSink()) {
1894         unsigned &mark = Visited[Succ];
1897           WL.push_back(Succ);