lib/Analysis/SyncDependenceAnalysis.cpp

181   void visitSuccessor(const BasicBlock &SuccBlock, const Loop *ParentLoop,
185     if (ParentLoop && !ParentLoop->contains(&SuccBlock)) {
186       DefMap.emplace(&SuccBlock, &DefBlock);
187       ReachedLoopExits.insert(&SuccBlock);
192     auto ItLastDef = DefMap.find(&SuccBlock);
194       addPending(SuccBlock, DefBlock);
201       if (!JoinBlocks->insert(&SuccBlock).second)
205       addPending(SuccBlock, SuccBlock);
227     for (const auto *SuccBlock : NodeSuccessors) {
228       DefMap.emplace(SuccBlock, SuccBlock);
230       if (ParentLoop && !ParentLoop->contains(SuccBlock)) {
232         ReachedLoopExits.insert(SuccBlock);
235         PendingUpdates.insert(SuccBlock);
285         for (const auto *SuccBlock : successors(Block)) {
286           visitSuccessor(*SuccBlock, ParentLoop, *DefBlock);