2429   CFGBlock *BodyBlock = nullptr, *TransitionBlock = nullptr;  in VisitForStmt()  local
2474     BodyBlock = addStmt(F->getBody());  in VisitForStmt()
2476     if (!BodyBlock) {  in VisitForStmt()
2479       BodyBlock = ContinueJumpTarget.block;  in VisitForStmt()
2499           VisitLogicalOperator(Cond, F, BodyBlock, LoopSuccessor);  in VisitForStmt()
2535     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);  in VisitForStmt()
2658     CFGBlock *BodyBlock = addStmt(S->getBody());  in VisitObjCForCollectionStmt()  local
2660     if (!BodyBlock)  in VisitObjCForCollectionStmt()
2661       BodyBlock = ContinueJumpTarget.block; // can happen for "for (X in Y) ;"  in VisitObjCForCollectionStmt()
2668     addSuccessor(ExitConditionBlock, BodyBlock);  in VisitObjCForCollectionStmt()
2766   CFGBlock *BodyBlock = nullptr, *TransitionBlock = nullptr;  in VisitWhileStmt()  local
2795     BodyBlock = addStmt(W->getBody());  in VisitWhileStmt()
2797     if (!BodyBlock)  in VisitWhileStmt()
2798       BodyBlock = ContinueJumpTarget.block; // can happen for "while(...) ;"  in VisitWhileStmt()
2816             VisitLogicalOperator(Cond, W, BodyBlock, LoopSuccessor);  in VisitWhileStmt()
2848     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);  in VisitWhileStmt()
2953   CFGBlock *BodyBlock = nullptr;  in VisitDoStmt()  local
2977     BodyBlock = addStmt(D->getBody());  in VisitDoStmt()
2979     if (!BodyBlock)  in VisitDoStmt()
2980       BodyBlock = EntryConditionBlock; // can happen for "do ; while(...)"  in VisitDoStmt()
2993       Succ = BodyBlock;  in VisitDoStmt()
3013   Succ = BodyBlock;  in VisitDoStmt()
3014   return BodyBlock;  in VisitDoStmt()