From d5c3b1339e842619fc3ae79482424f901aeb89f3 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Thu, 20 Aug 2009 03:21:49 +0000 Subject: [PATCH] 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 --- lib/Analysis/CFG.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.50.1