3142   CFGBlock *BodyBlock = nullptr, *TransitionBlock = nullptr;  in VisitForStmt()  local
3187     BodyBlock = addStmt(F->getBody());  in VisitForStmt()
3189     if (!BodyBlock) {  in VisitForStmt()
3192       BodyBlock = ContinueJumpTarget.block;  in VisitForStmt()
3213           VisitLogicalOperator(Cond, F, BodyBlock, LoopSuccessor);  in VisitForStmt()
3255     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);  in VisitForStmt()
3388     CFGBlock *BodyBlock = addStmt(S->getBody());  in VisitObjCForCollectionStmt()  local
3390     if (!BodyBlock)  in VisitObjCForCollectionStmt()
3391       BodyBlock = ContinueJumpTarget.block; // can happen for "for (X in Y) ;"  in VisitObjCForCollectionStmt()
3398     addSuccessor(ExitConditionBlock, BodyBlock);  in VisitObjCForCollectionStmt()
3497   CFGBlock *BodyBlock = nullptr, *TransitionBlock = nullptr;  in VisitWhileStmt()  local
3526     BodyBlock = addStmt(W->getBody());  in VisitWhileStmt()
3528     if (!BodyBlock)  in VisitWhileStmt()
3529       BodyBlock = ContinueJumpTarget.block; // can happen for "while(...) ;"  in VisitWhileStmt()
3547             VisitLogicalOperator(Cond, W, BodyBlock, LoopSuccessor);  in VisitWhileStmt()
3586     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);  in VisitWhileStmt()
3701   CFGBlock *BodyBlock = nullptr;  in VisitDoStmt()  local
3725     BodyBlock = addStmt(D->getBody());  in VisitDoStmt()
3727     if (!BodyBlock)  in VisitDoStmt()
3728       BodyBlock = EntryConditionBlock; // can happen for "do ; while(...)"  in VisitDoStmt()
3740     Succ = BodyBlock;  in VisitDoStmt()
3760   Succ = BodyBlock;  in VisitDoStmt()
3761   return BodyBlock;  in VisitDoStmt()