lib/Analysis/CFG.cpp

2474   CFGBlock *EntryConditionBlock = nullptr, *ExitConditionBlock = nullptr;
2484         std::tie(EntryConditionBlock, ExitConditionBlock) =
2490     EntryConditionBlock = ExitConditionBlock = createBlock(false);
2491     ExitConditionBlock->setTerminator(F);
2500       Block = ExitConditionBlock;
2521     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);
2524     addSuccessor(ExitConditionBlock,
2601   CFGBlock *ExitConditionBlock = createBlock(false);
2604   ExitConditionBlock->setTerminator(S);
2609   appendStmt(ExitConditionBlock, S);
2610   Block = ExitConditionBlock;
2654     addSuccessor(ExitConditionBlock, BodyBlock);
2659   addSuccessor(ExitConditionBlock, LoopSuccessor);
2792   CFGBlock *EntryConditionBlock = nullptr, *ExitConditionBlock = nullptr;
2801         std::tie(EntryConditionBlock, ExitConditionBlock) =
2807     ExitConditionBlock = createBlock(false);
2808     ExitConditionBlock->setTerminator(W);
2813     Block = ExitConditionBlock;
2834     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);
2837     addSuccessor(ExitConditionBlock,
2915   CFGBlock *ExitConditionBlock = createBlock(false);
2916   CFGBlock *EntryConditionBlock = ExitConditionBlock;
2919   ExitConditionBlock->setTerminator(D);
2924     Block = ExitConditionBlock;
2974       // ExitConditionBlock to represent the "loop back" transition.  Create an
2984       addSuccessor(ExitConditionBlock, LoopBackBlock);
2987       addSuccessor(ExitConditionBlock, nullptr);
2992   addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);