Home | History | Annotate | Download | only in Analysis

Lines Matching refs:traverse

648 // Traverse the CFG in topological order, so all predecessors of a block
1043 std::function<bool (const ValueDecl*)> traverse = [&](const ValueDecl* Vd) {
1068 if (traverse(Vdb)) {
1080 traverse(StartVd);
2085 /// We traverse the blocks in the CFG, compute the set of mutexes that are held
2382 /// We traverse the blocks in the CFG, compute the set of mutexes that are held