Home | History | Annotate | Download | only in Analysis

Lines Matching refs:Succ

250     succ_const_iterator Succ = succ_begin(BB), End = succ_end(BB);
251     if (Succ == End) {
258     for(;Succ != End; ++Succ) {
259       if (P.find(*Succ) != P.end()) continue;
260       Edge e = getEdge(BB,*Succ);
262       P[*Succ] = BB;
263       BFS.push(*Succ);
264       if ((Mode & GetPathToDest) && *Succ == Dest) {
266         BB = *Succ;
269       if ((Mode & GetPathToValue) && (getExecutionCount(*Succ) != MissingValue)) {
271         BB = *Succ;
751       for (succ_const_iterator Succ = succ_begin(BB), End = succ_end(BB);
752            Succ != End; ++Succ) {
754         GetPath(*Succ, 0, P, GetPathToExit);