From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Thu, 20 Aug 2009 03:21:49 +0000 (+0000)
Subject: If the 'while' has an empty body, set the body to the continue target block.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d5c3b1339e842619fc3ae79482424f901aeb89f3;p=clang

If the 'while' has an empty body, set the body to the continue target block.
Although this does not make the CFG more correct, it makes the CFG more
beautiful without multiple roots.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@79509 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Analysis/CFG.cpp b/lib/Analysis/CFG.cpp
index 336faabdfb..1cfe858c8d 100644
--- a/lib/Analysis/CFG.cpp
+++ b/lib/Analysis/CFG.cpp
@@ -1146,7 +1146,7 @@ CFGBlock* CFGBuilder::VisitWhileStmt(WhileStmt* W) {
     CFGBlock* BodyBlock = addStmt(W->getBody());
 
     if (!BodyBlock)
-      BodyBlock = EntryConditionBlock; // can happen for "while(...) ;"
+      BodyBlock = ContinueTargetBlock; // can happen for "while(...) ;"
     else if (Block) {
       if (!FinishBlock(BodyBlock))
         return 0;