<div dir="ltr">Tests are failing on some bots: <a href="http://lab.llvm.org:8011/builders/clang-hexagon-elf/builds/16426/steps/ninja%20check%201/logs/FAIL%3A%20Clang%3A%3Ascopes-cfg-output.cpp">http://lab.llvm.org:8011/builders/clang-hexagon-elf/builds/16426/steps/ninja%20check%201/logs/FAIL%3A%20Clang%3A%3Ascopes-cfg-output.cpp</a></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Mar 12, 2018 at 8:26 AM, Maxim Ostapenko via cfe-commits <span dir="ltr"><<a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: chefmax<br>
Date: Mon Mar 12 05:26:15 2018<br>
New Revision: 327258<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=327258&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project?rev=327258&view=rev</a><br>
Log:<br>
[analyzer] Add scope information to CFG<br>
<br>
This patch adds two new CFG elements CFGScopeBegin and CFGScopeEnd that indicate<br>
when a local scope begins and ends respectively. We use first VarDecl declared<br>
in a scope to uniquely identify it and add CFGScopeBegin and CFGScopeEnd elements<br>
into corresponding basic blocks.<br>
<br>
Differential Revision: <a href="https://reviews.llvm.org/D16403" rel="noreferrer" target="_blank">https://reviews.llvm.org/<wbr>D16403</a><br>
<br>
Added:<br>
cfe/trunk/test/Analysis/<wbr>scopes-cfg-output.cpp<br>
Modified:<br>
cfe/trunk/include/clang/<wbr>Analysis/AnalysisDeclContext.h<br>
cfe/trunk/include/clang/<wbr>Analysis/CFG.h<br>
cfe/trunk/include/clang/<wbr>StaticAnalyzer/Core/<wbr>AnalyzerOptions.h<br>
cfe/trunk/lib/Analysis/<wbr>AnalysisDeclContext.cpp<br>
cfe/trunk/lib/Analysis/CFG.cpp<br>
cfe/trunk/lib/StaticAnalyzer/<wbr>Core/AnalysisManager.cpp<br>
cfe/trunk/lib/StaticAnalyzer/<wbr>Core/AnalyzerOptions.cpp<br>
cfe/trunk/lib/StaticAnalyzer/<wbr>Core/ExprEngine.cpp<br>
cfe/trunk/lib/StaticAnalyzer/<wbr>Core/PathDiagnostic.cpp<br>
cfe/trunk/test/Analysis/<wbr>analyzer-config.c<br>
cfe/trunk/test/Analysis/<wbr>analyzer-config.cpp<br>
<br>
Modified: cfe/trunk/include/clang/<wbr>Analysis/AnalysisDeclContext.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/AnalysisDeclContext.h?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/include/<wbr>clang/Analysis/<wbr>AnalysisDeclContext.h?rev=<wbr>327258&r1=327257&r2=327258&<wbr>view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/include/clang/<wbr>Analysis/AnalysisDeclContext.h (original)<br>
+++ cfe/trunk/include/clang/<wbr>Analysis/AnalysisDeclContext.h Mon Mar 12 05:26:15 2018<br>
@@ -435,7 +435,9 @@ public:<br>
bool addImplicitDtors = false,<br>
bool addInitializers = false,<br>
bool addTemporaryDtors = false,<br>
- bool addLifetime = false, bool addLoopExit = false,<br>
+ bool addLifetime = false,<br>
+ bool addLoopExit = false,<br>
+ bool addScopes = false,<br>
bool synthesizeBodies = false,<br>
bool addStaticInitBranches = false,<br>
bool addCXXNewAllocator = true,<br>
<br>
Modified: cfe/trunk/include/clang/<wbr>Analysis/CFG.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/CFG.h?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/include/<wbr>clang/Analysis/CFG.h?rev=<wbr>327258&r1=327257&r2=327258&<wbr>view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/include/clang/<wbr>Analysis/CFG.h (original)<br>
+++ cfe/trunk/include/clang/<wbr>Analysis/CFG.h Mon Mar 12 05:26:15 2018<br>
@@ -57,6 +57,8 @@ public:<br>
enum Kind {<br>
// main kind<br>
Initializer,<br>
+ ScopeBegin,<br>
+ ScopeEnd,<br>
NewAllocator,<br>
LifetimeEnds,<br>
LoopExit,<br>
@@ -260,6 +262,55 @@ private:<br>
}<br>
};<br>
<br>
+/// Represents beginning of a scope implicitly generated<br>
+/// by the compiler on encountering a CompoundStmt<br>
+class CFGScopeBegin : public CFGElement {<br>
+public:<br>
+ CFGScopeBegin() {}<br>
+ CFGScopeBegin(const VarDecl *VD, const Stmt *S)<br>
+ : CFGElement(ScopeBegin, VD, S) {}<br>
+<br>
+ // Get statement that triggered a new scope.<br>
+ const Stmt *getTriggerStmt() const {<br>
+ return static_cast<Stmt*>(Data2.<wbr>getPointer());<br>
+ }<br>
+<br>
+ // Get VD that triggered a new scope.<br>
+ const VarDecl *getVarDecl() const {<br>
+ return static_cast<VarDecl *>(Data1.getPointer());<br>
+ }<br>
+<br>
+private:<br>
+ friend class CFGElement;<br>
+ static bool isKind(const CFGElement &E) {<br>
+ Kind kind = E.getKind();<br>
+ return kind == ScopeBegin;<br>
+ }<br>
+};<br>
+<br>
+/// Represents end of a scope implicitly generated by<br>
+/// the compiler after the last Stmt in a CompoundStmt's body<br>
+class CFGScopeEnd : public CFGElement {<br>
+public:<br>
+ CFGScopeEnd() {}<br>
+ CFGScopeEnd(const VarDecl *VD, const Stmt *S) : CFGElement(ScopeEnd, VD, S) {}<br>
+<br>
+ const VarDecl *getVarDecl() const {<br>
+ return static_cast<VarDecl *>(Data1.getPointer());<br>
+ }<br>
+<br>
+ const Stmt *getTriggerStmt() const {<br>
+ return static_cast<Stmt *>(Data2.getPointer());<br>
+ }<br>
+<br>
+private:<br>
+ friend class CFGElement;<br>
+ static bool isKind(const CFGElement &E) {<br>
+ Kind kind = E.getKind();<br>
+ return kind == ScopeEnd;<br>
+ }<br>
+};<br>
+<br>
/// CFGImplicitDtor - Represents C++ object destructor implicitly generated<br>
/// by compiler on various occasions.<br>
class CFGImplicitDtor : public CFGElement {<br>
@@ -799,6 +850,24 @@ public:<br>
Elements.push_back(<wbr>CFGNewAllocator(NE), C);<br>
}<br>
<br>
+ void appendScopeBegin(const VarDecl *VD, const Stmt *S,<br>
+ BumpVectorContext &C) {<br>
+ Elements.push_back(<wbr>CFGScopeBegin(VD, S), C);<br>
+ }<br>
+<br>
+ void prependScopeBegin(const VarDecl *VD, const Stmt *S,<br>
+ BumpVectorContext &C) {<br>
+ Elements.insert(Elements.<wbr>rbegin(), 1, CFGScopeBegin(VD, S), C);<br>
+ }<br>
+<br>
+ void appendScopeEnd(const VarDecl *VD, const Stmt *S, BumpVectorContext &C) {<br>
+ Elements.push_back(<wbr>CFGScopeEnd(VD, S), C);<br>
+ }<br>
+<br>
+ void prependScopeEnd(const VarDecl *VD, const Stmt *S, BumpVectorContext &C) {<br>
+ Elements.insert(Elements.<wbr>rbegin(), 1, CFGScopeEnd(VD, S), C);<br>
+ }<br>
+<br>
void appendBaseDtor(const CXXBaseSpecifier *BS, BumpVectorContext &C) {<br>
Elements.push_back(<wbr>CFGBaseDtor(BS), C);<br>
}<br>
@@ -852,6 +921,19 @@ public:<br>
*I = CFGLifetimeEnds(VD, S);<br>
return ++I;<br>
}<br>
+<br>
+ // Scope leaving must be performed in reversed order. So insertion is in two<br>
+ // steps. First we prepare space for some number of elements, then we insert<br>
+ // the elements beginning at the last position in prepared space.<br>
+ iterator beginScopeEndInsert(iterator I, size_t Cnt, BumpVectorContext &C) {<br>
+ return iterator(<br>
+ Elements.insert(I.base(), Cnt, CFGScopeEnd(nullptr, nullptr), C));<br>
+ }<br>
+ iterator insertScopeEnd(iterator I, VarDecl *VD, Stmt *S) {<br>
+ *I = CFGScopeEnd(VD, S);<br>
+ return ++I;<br>
+ }<br>
+<br>
};<br>
<br>
/// \brief CFGCallback defines methods that should be called when a logical<br>
@@ -894,6 +976,7 @@ public:<br>
bool AddLifetime = false;<br>
bool AddLoopExit = false;<br>
bool AddTemporaryDtors = false;<br>
+ bool AddScopes = false;<br>
bool AddStaticInitBranches = false;<br>
bool AddCXXNewAllocator = false;<br>
bool AddCXXDefaultInitExprInCtors = false;<br>
<br>
Modified: cfe/trunk/include/clang/<wbr>StaticAnalyzer/Core/<wbr>AnalyzerOptions.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/include/<wbr>clang/StaticAnalyzer/Core/<wbr>AnalyzerOptions.h?rev=327258&<wbr>r1=327257&r2=327258&view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/include/clang/<wbr>StaticAnalyzer/Core/<wbr>AnalyzerOptions.h (original)<br>
+++ cfe/trunk/include/clang/<wbr>StaticAnalyzer/Core/<wbr>AnalyzerOptions.h Mon Mar 12 05:26:15 2018<br>
@@ -240,6 +240,9 @@ private:<br>
/// \sa mayInlineCXXStandardLibrary<br>
Optional<bool> InlineCXXStandardLibrary;<br>
<br>
+ /// \sa includeScopesInCFG<br>
+ Optional<bool> IncludeScopesInCFG;<br>
+<br>
/// \sa mayInlineTemplateFunctions<br>
Optional<bool> InlineTemplateFunctions;<br>
<br>
@@ -481,6 +484,12 @@ public:<br>
/// which accepts the values "true" and "false".<br>
bool includeRichConstructorsInCFG()<wbr>;<br>
<br>
+ /// Returns whether or not scope information should be included in the CFG.<br>
+ ///<br>
+ /// This is controlled by the 'cfg-scope-info' config option, which accepts<br>
+ /// the values "true" and "false".<br>
+ bool includeScopesInCFG();<br>
+<br>
/// Returns whether or not C++ standard library functions may be considered<br>
/// for inlining.<br>
///<br>
<br>
Modified: cfe/trunk/lib/Analysis/<wbr>AnalysisDeclContext.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/AnalysisDeclContext.cpp?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/lib/<wbr>Analysis/AnalysisDeclContext.<wbr>cpp?rev=327258&r1=327257&r2=<wbr>327258&view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/lib/Analysis/<wbr>AnalysisDeclContext.cpp (original)<br>
+++ cfe/trunk/lib/Analysis/<wbr>AnalysisDeclContext.cpp Mon Mar 12 05:26:15 2018<br>
@@ -66,9 +66,9 @@ AnalysisDeclContext::<wbr>AnalysisDeclContext<br>
AnalysisDeclContextManager::<wbr>AnalysisDeclContextManager(<br>
ASTContext &ASTCtx, bool useUnoptimizedCFG, bool addImplicitDtors,<br>
bool addInitializers, bool addTemporaryDtors, bool addLifetime,<br>
- bool addLoopExit, bool synthesizeBodies, bool addStaticInitBranch,<br>
- bool addCXXNewAllocator, bool addRichCXXConstructors,<br>
- CodeInjector *injector)<br>
+ bool addLoopExit, bool addScopes, bool synthesizeBodies,<br>
+ bool addStaticInitBranch, bool addCXXNewAllocator,<br>
+ bool addRichCXXConstructors, CodeInjector *injector)<br>
: Injector(injector), FunctionBodyFarm(ASTCtx, injector),<br>
SynthesizeBodies(<wbr>synthesizeBodies) {<br>
cfgBuildOptions.<wbr>PruneTriviallyFalseEdges = !useUnoptimizedCFG;<br>
@@ -77,6 +77,7 @@ AnalysisDeclContextManager::<wbr>AnalysisDecl<br>
cfgBuildOptions.<wbr>AddTemporaryDtors = addTemporaryDtors;<br>
cfgBuildOptions.AddLifetime = addLifetime;<br>
cfgBuildOptions.AddLoopExit = addLoopExit;<br>
+ cfgBuildOptions.AddScopes = addScopes;<br>
cfgBuildOptions.<wbr>AddStaticInitBranches = addStaticInitBranch;<br>
cfgBuildOptions.<wbr>AddCXXNewAllocator = addCXXNewAllocator;<br>
cfgBuildOptions.<wbr>AddRichCXXConstructors = addRichCXXConstructors;<br>
<br>
Modified: cfe/trunk/lib/Analysis/CFG.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/CFG.cpp?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/lib/<wbr>Analysis/CFG.cpp?rev=327258&<wbr>r1=327257&r2=327258&view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/lib/Analysis/CFG.cpp (original)<br>
+++ cfe/trunk/lib/Analysis/CFG.cpp Mon Mar 12 05:26:15 2018<br>
@@ -234,6 +234,13 @@ public:<br>
assert(VarIter != 0 && "Iterator has invalid value of VarIter member");<br>
return &Scope->Vars[VarIter - 1];<br>
}<br>
+<br>
+ const VarDecl *getFirstVarInScope() const {<br>
+ assert(Scope && "Dereferencing invalid iterator is not allowed");<br>
+ assert(VarIter != 0 && "Iterator has invalid value of VarIter member");<br>
+ return Scope->Vars[0];<br>
+ }<br>
+<br>
VarDecl *operator*() const {<br>
return *this->operator->();<br>
}<br>
@@ -267,6 +274,7 @@ public:<br>
<br>
int distance(const_iterator L);<br>
const_iterator shared_parent(const_iterator L);<br>
+ bool pointsToFirstDeclaredVar() { return VarIter == 1; }<br>
};<br>
<br>
private:<br>
@@ -479,6 +487,9 @@ class CFGBuilder {<br>
llvm::DenseMap<<wbr>CXXConstructExpr *, const ConstructionContextLayer *><br>
ConstructionContextMap;<br>
<br>
+ using DeclsWithEndedScopeSetTy = llvm::SmallSetVector<VarDecl *, 16>;<br>
+ DeclsWithEndedScopeSetTy DeclsWithEndedScope;<br>
+<br>
bool badCFG = false;<br>
const CFG::BuildOptions &BuildOpts;<br>
<br>
@@ -576,6 +587,12 @@ private:<br>
CFGBlock *VisitChildren(Stmt *S);<br>
CFGBlock *VisitNoRecurse(Expr *E, AddStmtChoice asc);<br>
<br>
+ void maybeAddScopeBeginForVarDecl(<wbr>CFGBlock *B, const VarDecl *VD,<br>
+ const Stmt *S) {<br>
+ if (ScopePos && (VD == ScopePos.getFirstVarInScope())<wbr>)<br>
+ appendScopeBegin(B, VD, S);<br>
+ }<br>
+<br>
/// When creating the CFG for temporary destructors, we want to mirror the<br>
/// branch structure of the corresponding constructor calls.<br>
/// Thus, while visiting a statement for temporary destructors, we keep a<br>
@@ -688,6 +705,11 @@ private:<br>
void addAutomaticObjHandling(<wbr>LocalScope::const_iterator B,<br>
LocalScope::const_iterator E, Stmt *S);<br>
void addImplicitDtorsForDestructor(<wbr>const CXXDestructorDecl *DD);<br>
+ void addScopesEnd(LocalScope::<wbr>const_iterator B, LocalScope::const_iterator E,<br>
+ Stmt *S);<br>
+<br>
+ void getDeclsWithEndedScope(<wbr>LocalScope::const_iterator B,<br>
+ LocalScope::const_iterator E, Stmt *S);<br>
<br>
// Local scopes creation.<br>
LocalScope* createOrReuseLocalScope(<wbr>LocalScope* Scope);<br>
@@ -770,6 +792,11 @@ private:<br>
LocalScope::const_iterator B,<br>
LocalScope::const_iterator E);<br>
<br>
+ const VarDecl *<br>
+ prependAutomaticObjScopeEndWit<wbr>hTerminator(CFGBlock *Blk,<br>
+ LocalScope::const_iterator B,<br>
+ LocalScope::const_iterator E);<br>
+<br>
void addSuccessor(CFGBlock *B, CFGBlock *S, bool IsReachable = true) {<br>
B->addSuccessor(CFGBlock::<wbr>AdjacentBlock(S, IsReachable),<br>
cfg->getBumpVectorContext());<br>
@@ -782,6 +809,26 @@ private:<br>
cfg->getBumpVectorContext());<br>
}<br>
<br>
+ void appendScopeBegin(CFGBlock *B, const VarDecl *VD, const Stmt *S) {<br>
+ if (BuildOpts.AddScopes)<br>
+ B->appendScopeBegin(VD, S, cfg->getBumpVectorContext());<br>
+ }<br>
+<br>
+ void prependScopeBegin(CFGBlock *B, const VarDecl *VD, const Stmt *S) {<br>
+ if (BuildOpts.AddScopes)<br>
+ B->prependScopeBegin(VD, S, cfg->getBumpVectorContext());<br>
+ }<br>
+<br>
+ void appendScopeEnd(CFGBlock *B, const VarDecl *VD, const Stmt *S) {<br>
+ if (BuildOpts.AddScopes)<br>
+ B->appendScopeEnd(VD, S, cfg->getBumpVectorContext());<br>
+ }<br>
+<br>
+ void prependScopeEnd(CFGBlock *B, const VarDecl *VD, const Stmt *S) {<br>
+ if (BuildOpts.AddScopes)<br>
+ B->prependScopeEnd(VD, S, cfg->getBumpVectorContext());<br>
+ }<br>
+<br>
/// \brief Find a relational comparison with an expression evaluating to a<br>
/// boolean and a constant other than 0 and 1.<br>
/// e.g. if ((x < y) == 10)<br>
@@ -1299,6 +1346,9 @@ std::unique_ptr<CFG> CFGBuilder::buildCF<br>
JT.scopePosition);<br>
prependAutomaticObjDtorsWithTe<wbr>rminator(B, I->scopePosition,<br>
JT.scopePosition);<br>
+ const VarDecl *VD = prependAutomaticObjScopeEndWit<wbr>hTerminator(<br>
+ B, I->scopePosition, JT.scopePosition);<br>
+ appendScopeBegin(JT.block, VD, G);<br>
addSuccessor(B, JT.block);<br>
}<br>
<br>
@@ -1456,9 +1506,34 @@ void CFGBuilder::addLoopExit(const Stmt<br>
appendLoopExit(Block, LoopStmt);<br>
}<br>
<br>
+void CFGBuilder::<wbr>getDeclsWithEndedScope(<wbr>LocalScope::const_iterator B,<br>
+ LocalScope::const_iterator E, Stmt *S) {<br>
+ if (!BuildOpts.AddScopes)<br>
+ return;<br>
+<br>
+ if (B == E)<br>
+ return;<br>
+<br>
+ // To go from B to E, one first goes up the scopes from B to P<br>
+ // then sideways in one scope from P to P' and then down<br>
+ // the scopes from P' to E.<br>
+ // The lifetime of all objects between B and P end.<br>
+ LocalScope::const_iterator P = B.shared_parent(E);<br>
+ int Dist = B.distance(P);<br>
+ if (Dist <= 0)<br>
+ return;<br>
+<br>
+ for (LocalScope::const_iterator I = B; I != P; ++I)<br>
+ if (I.pointsToFirstDeclaredVar())<br>
+ DeclsWithEndedScope.insert(*I)<wbr>;<br>
+}<br>
+<br>
void CFGBuilder::<wbr>addAutomaticObjHandling(<wbr>LocalScope::const_iterator B,<br>
LocalScope::const_iterator E,<br>
Stmt *S) {<br>
+ getDeclsWithEndedScope(B, E, S);<br>
+ if (BuildOpts.AddScopes)<br>
+ addScopesEnd(B, E, S);<br>
if (BuildOpts.AddImplicitDtors)<br>
addAutomaticObjDtors(B, E, S);<br>
if (BuildOpts.AddLifetime)<br>
@@ -1510,6 +1585,23 @@ void CFGBuilder::addLifetimeEnds(<wbr>LocalSc<br>
appendLifetimeEnds(Block, *I, S);<br>
}<br>
<br>
+/// Add to current block markers for ending scopes.<br>
+void CFGBuilder::addScopesEnd(<wbr>LocalScope::const_iterator B,<br>
+ LocalScope::const_iterator E, Stmt *S) {<br>
+ // If implicit destructors are enabled, we'll add scope ends in<br>
+ // addAutomaticObjDtors.<br>
+ if (BuildOpts.AddImplicitDtors)<br>
+ return;<br>
+<br>
+ autoCreateBlock();<br>
+<br>
+ for (auto I = DeclsWithEndedScope.rbegin(), E = DeclsWithEndedScope.rend();<br>
+ I != E; ++I)<br>
+ appendScopeEnd(Block, *I, S);<br>
+<br>
+ return;<br>
+}<br>
+<br>
/// addAutomaticObjDtors - Add to current block automatic objects destructors<br>
/// for objects in range of local scope positions. Use S as trigger statement<br>
/// for destructors.<br>
@@ -1533,6 +1625,15 @@ void CFGBuilder::<wbr>addAutomaticObjDtors(Lo<br>
for (SmallVectorImpl<VarDecl*>::<wbr>reverse_iterator I = Decls.rbegin(),<br>
E = Decls.rend();<br>
I != E; ++I) {<br>
+ if (hasTrivialDestructor(*I)) {<br>
+ // If AddScopes is enabled and *I is a first variable in a scope, add a<br>
+ // ScopeEnd marker in a Block.<br>
+ if (BuildOpts.AddScopes && DeclsWithEndedScope.count(*I)) {<br>
+ autoCreateBlock();<br>
+ appendScopeEnd(Block, *I, S);<br>
+ }<br>
+ continue;<br>
+ }<br>
// If this destructor is marked as a no-return destructor, we need to<br>
// create a new block for the destructor which does not have as a successor<br>
// anything built thus far: control won't flow out of this block.<br>
@@ -1547,6 +1648,9 @@ void CFGBuilder::<wbr>addAutomaticObjDtors(Lo<br>
else<br>
autoCreateBlock();<br>
<br>
+ // Add ScopeEnd just after automatic obj destructor.<br>
+ if (BuildOpts.AddScopes && DeclsWithEndedScope.count(*I))<br>
+ appendScopeEnd(Block, *I, S);<br>
appendAutomaticObjDtor(Block, *I, S);<br>
}<br>
}<br>
@@ -1609,7 +1713,8 @@ LocalScope* CFGBuilder::createOrReuseLoc<br>
/// addLocalScopeForStmt - Add LocalScope to local scopes tree for statement<br>
/// that should create implicit scope (e.g. if/else substatements).<br>
void CFGBuilder::<wbr>addLocalScopeForStmt(Stmt *S) {<br>
- if (!BuildOpts.AddImplicitDtors && !BuildOpts.AddLifetime)<br>
+ if (!BuildOpts.AddImplicitDtors && !BuildOpts.AddLifetime &&<br>
+ !BuildOpts.AddScopes)<br>
return;<br>
<br>
LocalScope *Scope = nullptr;<br>
@@ -1634,7 +1739,8 @@ void CFGBuilder::<wbr>addLocalScopeForStmt(St<br>
/// reuse Scope if not NULL.<br>
LocalScope* CFGBuilder::<wbr>addLocalScopeForDeclStmt(<wbr>DeclStmt *DS,<br>
LocalScope* Scope) {<br>
- if (!BuildOpts.AddImplicitDtors && !BuildOpts.AddLifetime)<br>
+ if (!BuildOpts.AddImplicitDtors && !BuildOpts.AddLifetime &&<br>
+ !BuildOpts.AddScopes)<br>
return Scope;<br>
<br>
for (auto *DI : DS->decls())<br>
@@ -1686,7 +1792,8 @@ LocalScope* CFGBuilder::addLocalScopeFor<br>
LocalScope* Scope) {<br>
assert(!(BuildOpts.<wbr>AddImplicitDtors && BuildOpts.AddLifetime) &&<br>
"AddImplicitDtors and AddLifetime cannot be used at the same time");<br>
- if (!BuildOpts.AddImplicitDtors && !BuildOpts.AddLifetime)<br>
+ if (!BuildOpts.AddImplicitDtors && !BuildOpts.AddLifetime &&<br>
+ !BuildOpts.AddScopes)<br>
return Scope;<br>
<br>
// Check if variable is local.<br>
@@ -1699,7 +1806,7 @@ LocalScope* CFGBuilder::addLocalScopeFor<br>
}<br>
<br>
if (BuildOpts.AddImplicitDtors) {<br>
- if (!hasTrivialDestructor(VD)) {<br>
+ if (!hasTrivialDestructor(VD) || BuildOpts.AddScopes) {<br>
// Add the variable to scope<br>
Scope = createOrReuseLocalScope(Scope)<wbr>;<br>
Scope->addVar(VD);<br>
@@ -1759,6 +1866,26 @@ void CFGBuilder::<wbr>prependAutomaticObjLife<br>
InsertPos = Blk->insertLifetimeEnds(<wbr>InsertPos, *I, Blk->getTerminator());<br>
}<br>
<br>
+/// prependAutomaticObjScopeEndWit<wbr>hTerminator - Prepend scope end CFGElements for<br>
+/// variables with automatic storage duration to CFGBlock's elements vector.<br>
+/// Elements will be prepended to physical beginning of the vector which<br>
+/// happens to be logical end. Use blocks terminator as statement that specifies<br>
+/// where scope ends.<br>
+const VarDecl *<br>
+CFGBuilder::<wbr>prependAutomaticObjScopeEndWit<wbr>hTerminator(<br>
+ CFGBlock *Blk, LocalScope::const_iterator B, LocalScope::const_iterator E) {<br>
+ if (!BuildOpts.AddScopes)<br>
+ return nullptr;<br>
+ BumpVectorContext &C = cfg->getBumpVectorContext();<br>
+ CFGBlock::iterator InsertPos =<br>
+ Blk->beginScopeEndInsert(Blk-><wbr>end(), 1, C);<br>
+ LocalScope::const_iterator PlaceToInsert = B;<br>
+ for (LocalScope::const_iterator I = B; I != E; ++I)<br>
+ PlaceToInsert = I;<br>
+ Blk->insertScopeEnd(InsertPos, *PlaceToInsert, Blk->getTerminator());<br>
+ return *PlaceToInsert;<br>
+}<br>
+<br>
/// Visit - Walk the subtree of a statement and add extra<br>
/// blocks for ternary operators, &&, and ||. We also process "," and<br>
/// DeclStmts (which may contain nested control-flow).<br>
@@ -2492,6 +2619,8 @@ CFGBlock *CFGBuilder::VisitDeclSubExpr(<wbr>D<br>
LastBlock = newBlock;<br>
}<br>
<br>
+ maybeAddScopeBeginForVarDecl(<wbr>Block, VD, DS);<br>
+<br>
// Remove variable from local scope.<br>
if (ScopePos && VD == *ScopePos)<br>
++ScopePos;<br>
@@ -2956,6 +3085,7 @@ CFGBlock *CFGBuilder::VisitForStmt(<wbr>ForSt<br>
<br>
do {<br>
Expr *C = F->getCond();<br>
+ SaveAndRestore<LocalScope::<wbr>const_iterator> save_scope_pos(ScopePos);<br>
<br>
// Specially handle logical operators, which have a slightly<br>
// more optimal CFG representation.<br>
@@ -2989,6 +3119,7 @@ CFGBlock *CFGBuilder::VisitForStmt(<wbr>ForSt<br>
appendStmt(Block, F-><wbr>getConditionVariableDeclStmt()<wbr>);<br>
EntryConditionBlock = addStmt(Init);<br>
assert(Block == EntryConditionBlock);<br>
+ maybeAddScopeBeginForVarDecl(<wbr>EntryConditionBlock, VD, C);<br>
}<br>
}<br>
<br>
@@ -3015,6 +3146,8 @@ CFGBlock *CFGBuilder::VisitForStmt(<wbr>ForSt<br>
// If the loop contains initialization, create a new block for those<br>
// statements. This block can also contain statements that precede the loop.<br>
if (Stmt *I = F->getInit()) {<br>
+ SaveAndRestore<LocalScope::<wbr>const_iterator> save_scope_pos(ScopePos);<br>
+ ScopePos = LoopBeginScopePos;<br>
Block = createBlock();<br>
return addStmt(I);<br>
}<br>
@@ -3311,6 +3444,7 @@ CFGBlock *CFGBuilder::VisitWhileStmt(<wbr>Whi<br>
appendStmt(Block, W-><wbr>getConditionVariableDeclStmt()<wbr>);<br>
EntryConditionBlock = addStmt(Init);<br>
assert(Block == EntryConditionBlock);<br>
+ maybeAddScopeBeginForVarDecl(<wbr>EntryConditionBlock, VD, C);<br>
}<br>
}<br>
<br>
@@ -3636,6 +3770,7 @@ CFGBlock *CFGBuilder::VisitSwitchStmt(<wbr>Sw<br>
autoCreateBlock();<br>
appendStmt(Block, Terminator-><wbr>getConditionVariableDeclStmt()<wbr>);<br>
LastBlock = addStmt(Init);<br>
+ maybeAddScopeBeginForVarDecl(<wbr>LastBlock, VD, Init);<br>
}<br>
}<br>
<br>
@@ -4381,6 +4516,8 @@ CFGImplicitDtor::<wbr>getDestructorDecl(ASTCo<br>
case CFGElement::LifetimeEnds:<br>
case CFGElement::Statement:<br>
case CFGElement::Constructor:<br>
+ case CFGElement::ScopeBegin:<br>
+ case CFGElement::ScopeEnd:<br>
llvm_unreachable("<wbr>getDestructorDecl should only be used with "<br>
"ImplicitDtors");<br>
case CFGElement::<wbr>AutomaticObjectDtor: {<br>
@@ -4841,6 +4978,16 @@ static void print_elem(raw_ostream &OS,<br>
} else if (Optional<CFGLoopExit> LE = E.getAs<CFGLoopExit>()) {<br>
const Stmt *LoopStmt = LE->getLoopStmt();<br>
OS << LoopStmt->getStmtClassName() << " (LoopExit)\n";<br>
+ } else if (Optional<CFGScopeBegin> SB = E.getAs<CFGScopeBegin>()) {<br>
+ OS << "CFGScopeBegin(";<br>
+ if (const VarDecl *VD = SB->getVarDecl())<br>
+ OS << VD->getQualifiedNameAsString()<wbr>;<br>
+ OS << ")\n";<br>
+ } else if (Optional<CFGScopeEnd> SE = E.getAs<CFGScopeEnd>()) {<br>
+ OS << "CFGScopeEnd(";<br>
+ if (const VarDecl *VD = SE->getVarDecl())<br>
+ OS << VD->getQualifiedNameAsString()<wbr>;<br>
+ OS << ")\n";<br>
} else if (Optional<CFGNewAllocator> NE = E.getAs<CFGNewAllocator>()) {<br>
OS << "CFGNewAllocator(";<br>
if (const CXXNewExpr *AllocExpr = NE->getAllocatorExpr())<br>
<br>
Modified: cfe/trunk/lib/StaticAnalyzer/<wbr>Core/AnalysisManager.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/AnalysisManager.cpp?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/lib/<wbr>StaticAnalyzer/Core/<wbr>AnalysisManager.cpp?rev=<wbr>327258&r1=327257&r2=327258&<wbr>view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/lib/StaticAnalyzer/<wbr>Core/AnalysisManager.cpp (original)<br>
+++ cfe/trunk/lib/StaticAnalyzer/<wbr>Core/AnalysisManager.cpp Mon Mar 12 05:26:15 2018<br>
@@ -26,6 +26,7 @@ AnalysisManager::<wbr>AnalysisManager(<br>
// Adding LoopExit elements to the CFG is a requirement for loop<br>
// unrolling.<br>
Options.includeLoopExitInCFG() || Options.shouldUnrollLoops(),<br>
+ Options.includeScopesInCFG(),<br>
Options.<wbr>shouldSynthesizeBodies(),<br>
Options.<wbr>shouldConditionalizeStaticInit<wbr>ializers(),<br>
/*addCXXNewAllocator=*/true,<br>
<br>
Modified: cfe/trunk/lib/StaticAnalyzer/<wbr>Core/AnalyzerOptions.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/lib/<wbr>StaticAnalyzer/Core/<wbr>AnalyzerOptions.cpp?rev=<wbr>327258&r1=327257&r2=327258&<wbr>view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/lib/StaticAnalyzer/<wbr>Core/AnalyzerOptions.cpp (original)<br>
+++ cfe/trunk/lib/StaticAnalyzer/<wbr>Core/AnalyzerOptions.cpp Mon Mar 12 05:26:15 2018<br>
@@ -224,6 +224,12 @@ bool AnalyzerOptions::<wbr>includeRichConstru<br>
/* Default = */ true);<br>
}<br>
<br>
+bool AnalyzerOptions::<wbr>includeScopesInCFG() {<br>
+ return getBooleanOption(<wbr>IncludeScopesInCFG,<br>
+ "cfg-scopes",<br>
+ /* Default = */ false);<br>
+}<br>
+<br>
bool AnalyzerOptions::<wbr>mayInlineCXXStandardLibrary() {<br>
return getBooleanOption(<wbr>InlineCXXStandardLibrary,<br>
"c++-stdlib-inlining",<br>
<br>
Modified: cfe/trunk/lib/StaticAnalyzer/<wbr>Core/ExprEngine.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/lib/<wbr>StaticAnalyzer/Core/<wbr>ExprEngine.cpp?rev=327258&r1=<wbr>327257&r2=327258&view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/lib/StaticAnalyzer/<wbr>Core/ExprEngine.cpp (original)<br>
+++ cfe/trunk/lib/StaticAnalyzer/<wbr>Core/ExprEngine.cpp Mon Mar 12 05:26:15 2018<br>
@@ -632,6 +632,8 @@ void ExprEngine::processCFGElement(<wbr>const<br>
ProcessLoopExit(E.castAs<<wbr>CFGLoopExit>().getLoopStmt(), Pred);<br>
return;<br>
case CFGElement::LifetimeEnds:<br>
+ case CFGElement::ScopeBegin:<br>
+ case CFGElement::ScopeEnd:<br>
return;<br>
}<br>
}<br>
<br>
Modified: cfe/trunk/lib/StaticAnalyzer/<wbr>Core/PathDiagnostic.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/PathDiagnostic.cpp?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/lib/<wbr>StaticAnalyzer/Core/<wbr>PathDiagnostic.cpp?rev=327258&<wbr>r1=327257&r2=327258&view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/lib/StaticAnalyzer/<wbr>Core/PathDiagnostic.cpp (original)<br>
+++ cfe/trunk/lib/StaticAnalyzer/<wbr>Core/PathDiagnostic.cpp Mon Mar 12 05:26:15 2018<br>
@@ -614,6 +614,9 @@ getLocationForCaller(const StackFrameCon<br>
return PathDiagnosticLocation::<wbr>createEnd(Dtor.<wbr>getBindTemporaryExpr(), SM,<br>
CallerCtx);<br>
}<br>
+ case CFGElement::ScopeBegin:<br>
+ case CFGElement::ScopeEnd:<br>
+ llvm_unreachable("not yet implemented!");<br>
case CFGElement::LifetimeEnds:<br>
case CFGElement::LoopExit:<br>
llvm_unreachable("CFGElement kind should not be on callsite!");<br>
<br>
Modified: cfe/trunk/test/Analysis/<wbr>analyzer-config.c<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/analyzer-config.c?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/test/<wbr>Analysis/analyzer-config.c?<wbr>rev=327258&r1=327257&r2=<wbr>327258&view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/test/Analysis/<wbr>analyzer-config.c (original)<br>
+++ cfe/trunk/test/Analysis/<wbr>analyzer-config.c Mon Mar 12 05:26:15 2018<br>
@@ -16,6 +16,7 @@ void foo() {<br>
// CHECK-NEXT: cfg-lifetime = false<br>
// CHECK-NEXT: cfg-loopexit = false<br>
// CHECK-NEXT: cfg-rich-constructors = true<br>
+// CHECK-NEXT: cfg-scopes = false<br>
// CHECK-NEXT: cfg-temporary-dtors = true<br>
// CHECK-NEXT: exploration_strategy = unexplored_first_queue<br>
// CHECK-NEXT: faux-bodies = true<br>
@@ -34,4 +35,4 @@ void foo() {<br>
// CHECK-NEXT: unroll-loops = false<br>
// CHECK-NEXT: widen-loops = false<br>
// CHECK-NEXT: [stats]<br>
-// CHECK-NEXT: num-entries = 22<br>
+// CHECK-NEXT: num-entries = 23<br>
<br>
Modified: cfe/trunk/test/Analysis/<wbr>analyzer-config.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/analyzer-config.cpp?rev=327258&r1=327257&r2=327258&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/test/<wbr>Analysis/analyzer-config.cpp?<wbr>rev=327258&r1=327257&r2=<wbr>327258&view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/test/Analysis/<wbr>analyzer-config.cpp (original)<br>
+++ cfe/trunk/test/Analysis/<wbr>analyzer-config.cpp Mon Mar 12 05:26:15 2018<br>
@@ -30,6 +30,7 @@ public:<br>
// CHECK-NEXT: cfg-lifetime = false<br>
// CHECK-NEXT: cfg-loopexit = false<br>
// CHECK-NEXT: cfg-rich-constructors = true<br>
+// CHECK-NEXT: cfg-scopes = false<br>
// CHECK-NEXT: cfg-temporary-dtors = true<br>
// CHECK-NEXT: experimental-enable-naive-ctu-<wbr>analysis = false<br>
// CHECK-NEXT: exploration_strategy = unexplored_first_queue<br>
@@ -49,4 +50,4 @@ public:<br>
// CHECK-NEXT: unroll-loops = false<br>
// CHECK-NEXT: widen-loops = false<br>
// CHECK-NEXT: [stats]<br>
-// CHECK-NEXT: num-entries = 29<br>
+// CHECK-NEXT: num-entries = 30<br>
<br>
Added: cfe/trunk/test/Analysis/<wbr>scopes-cfg-output.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/scopes-cfg-output.cpp?rev=327258&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/cfe/trunk/test/<wbr>Analysis/scopes-cfg-output.<wbr>cpp?rev=327258&view=auto</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/test/Analysis/<wbr>scopes-cfg-output.cpp (added)<br>
+++ cfe/trunk/test/Analysis/<wbr>scopes-cfg-output.cpp Mon Mar 12 05:26:15 2018<br>
@@ -0,0 +1,1171 @@<br>
+// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -analyze -analyzer-checker=debug.<wbr>DumpCFG -analyzer-config cfg-scopes=true %s > %t 2>&1<br>
+// RUN: FileCheck --input-file=%t %s<br>
+<br>
+class A {<br>
+public:<br>
+// CHECK: [B1 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+ A() {}<br>
+<br>
+// CHECK: [B1 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+ ~A() {}<br>
+<br>
+// CHECK: [B2 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: 1<br>
+// CHECK-NEXT: 2: return [B1.1];<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+ operator int() const { return 1; }<br>
+};<br>
+<br>
+int getX();<br>
+extern const bool UV;<br>
+<br>
+// CHECK: [B2 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B1.3], class A [2])<br>
+// CHECK-NEXT: 3: A a[2];<br>
+// CHECK-NEXT: 4: (CXXConstructExpr, [B1.5], class A [0])<br>
+// CHECK-NEXT: 5: A b[0];<br>
+// CHECK-NEXT: 6: [B1.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_array() {<br>
+ A a[2];<br>
+ A b[0];<br>
+}<br>
+<br>
+// CHECK: [B2 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B1.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: 4: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 5: (CXXConstructExpr, [B1.6], class A)<br>
+// CHECK-NEXT: 6: A c;<br>
+// CHECK-NEXT: 7: (CXXConstructExpr, [B1.8], class A)<br>
+// CHECK-NEXT: 8: A d;<br>
+// CHECK-NEXT: 9: [B1.8].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 10: [B1.6].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 11: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 12: (CXXConstructExpr, [B1.13], class A)<br>
+// CHECK-NEXT: 13: A b;<br>
+// CHECK-NEXT: 14: [B1.13].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 15: [B1.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 16: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_scope() {<br>
+ A a;<br>
+ { A c;<br>
+ A d;<br>
+ }<br>
+ A b;<br>
+}<br>
+<br>
+// CHECK: [B4 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B3<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: (CXXConstructExpr, [B1.2], class A)<br>
+// CHECK-NEXT: 2: A c;<br>
+// CHECK-NEXT: 3: [B1.2].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: [B3.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: [B3.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 6: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B3<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: return;<br>
+// CHECK-NEXT: 2: [B3.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 3: [B3.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B3<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B3.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: 4: (CXXConstructExpr, [B3.5], class A)<br>
+// CHECK-NEXT: 5: A b;<br>
+// CHECK-NEXT: 6: UV<br>
+// CHECK-NEXT: 7: [B3.6] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B3.7]<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (2): B2 B1<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (2): B1 B2<br>
+void test_return() {<br>
+ A a;<br>
+ A b;<br>
+ if (UV) return;<br>
+ A c;<br>
+}<br>
+<br>
+// CHECK: [B5 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B4<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: [B4.8].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 3: [B4.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (2): B2 B3<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B2.3], class A)<br>
+// CHECK-NEXT: 3: A c;<br>
+// CHECK-NEXT: 4: [B2.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(c)<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B3.3], class A)<br>
+// CHECK-NEXT: 3: A c;<br>
+// CHECK-NEXT: 4: [B3.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(c)<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B4.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: 4: CFGScopeBegin(b)<br>
+// CHECK-NEXT: 5: a<br>
+// CHECK-NEXT: 6: [B4.5] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 7: [B4.6] (CXXConstructExpr, [B4.8], class A)<br>
+// CHECK-NEXT: 8: A b = a;<br>
+// CHECK-NEXT: 9: b<br>
+// CHECK-NEXT: 10: [B4.9] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 11: [B4.10].operator int<br>
+// CHECK-NEXT: 12: [B4.10]<br>
+// CHECK-NEXT: 13: [B4.12] (ImplicitCastExpr, UserDefinedConversion, int)<br>
+// CHECK-NEXT: 14: [B4.13] (ImplicitCastExpr, IntegralToBoolean, _Bool)<br>
+// CHECK-NEXT: T: if [B4.14]<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (2): B3 B2<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_if_implicit_scope() {<br>
+ A a;<br>
+ if (A b = a)<br>
+ A c;<br>
+ else A c;<br>
+}<br>
+<br>
+// CHECK: [B9 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B8<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: [B8.8].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 3: (CXXConstructExpr, [B1.4], class A)<br>
+// CHECK-NEXT: 4: A e;<br>
+// CHECK-NEXT: 5: [B1.4].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 6: [B8.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (2): B2 B5<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: (CXXConstructExpr, [B2.2], class A)<br>
+// CHECK-NEXT: 2: A d;<br>
+// CHECK-NEXT: 3: [B2.2].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: [B4.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(c)<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: return;<br>
+// CHECK-NEXT: 2: [B4.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 3: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 4: [B8.8].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 6: [B8.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B4.3], class A)<br>
+// CHECK-NEXT: 3: A c;<br>
+// CHECK-NEXT: 4: UV<br>
+// CHECK-NEXT: 5: [B4.4] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B4.5]<br>
+// CHECK-NEXT: Preds (1): B8<br>
+// CHECK-NEXT: Succs (2): B3 B2<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: (CXXConstructExpr, [B5.2], class A)<br>
+// CHECK-NEXT: 2: A d;<br>
+// CHECK-NEXT: 3: [B5.2].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: [B7.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(c)<br>
+// CHECK-NEXT: Preds (1): B7<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B6]<br>
+// CHECK-NEXT: 1: return;<br>
+// CHECK-NEXT: 2: [B7.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 3: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 4: [B8.8].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 6: [B8.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B7<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B7]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B7.3], class A)<br>
+// CHECK-NEXT: 3: A c;<br>
+// CHECK-NEXT: 4: UV<br>
+// CHECK-NEXT: 5: [B7.4] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B7.5]<br>
+// CHECK-NEXT: Preds (1): B8<br>
+// CHECK-NEXT: Succs (2): B6 B5<br>
+// CHECK: [B8]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B8.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: 4: CFGScopeBegin(b)<br>
+// CHECK-NEXT: 5: a<br>
+// CHECK-NEXT: 6: [B8.5] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 7: [B8.6] (CXXConstructExpr, [B8.8], class A)<br>
+// CHECK-NEXT: 8: A b = a;<br>
+// CHECK-NEXT: 9: b<br>
+// CHECK-NEXT: 10: [B8.9] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 11: [B8.10].operator int<br>
+// CHECK-NEXT: 12: [B8.10]<br>
+// CHECK-NEXT: 13: [B8.12] (ImplicitCastExpr, UserDefinedConversion, int)<br>
+// CHECK-NEXT: 14: [B8.13] (ImplicitCastExpr, IntegralToBoolean, _Bool)<br>
+// CHECK-NEXT: T: if [B8.14]<br>
+// CHECK-NEXT: Preds (1): B9<br>
+// CHECK-NEXT: Succs (2): B7 B4<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (3): B1 B3 B6<br>
+void test_if_jumps() {<br>
+ A a;<br>
+ if (A b = a) {<br>
+ A c;<br>
+ if (UV) return;<br>
+ A d;<br>
+ } else {<br>
+ A c;<br>
+ if (UV) return;<br>
+ A d;<br>
+ }<br>
+ A e;<br>
+}<br>
+<br>
+// CHECK: [B6 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B5<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: [B4.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 3: [B5.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: Preds (1): B3<br>
+// CHECK-NEXT: Succs (1): B4<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B3.3], class A)<br>
+// CHECK-NEXT: 3: A c;<br>
+// CHECK-NEXT: 4: [B3.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 6: [B4.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(b)<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(b)<br>
+// CHECK-NEXT: 2: a<br>
+// CHECK-NEXT: 3: [B4.2] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 4: [B4.3] (CXXConstructExpr, class A)<br>
+// CHECK-NEXT: 5: A b = a;<br>
+// CHECK-NEXT: 6: b<br>
+// CHECK-NEXT: 7: [B4.6] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 8: [B4.7].operator int<br>
+// CHECK-NEXT: 9: [B4.7]<br>
+// CHECK-NEXT: 10: [B4.9] (ImplicitCastExpr, UserDefinedConversion, int)<br>
+// CHECK-NEXT: 11: [B4.10] (ImplicitCastExpr, IntegralToBoolean, _Bool)<br>
+// CHECK-NEXT: T: while [B4.11]<br>
+// CHECK-NEXT: Preds (2): B2 B5<br>
+// CHECK-NEXT: Succs (2): B3 B1<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B5.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: Preds (1): B6<br>
+// CHECK-NEXT: Succs (1): B4<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_while_implicit_scope() {<br>
+ A a;<br>
+ while (A b = a)<br>
+ A c;<br>
+}<br>
+<br>
+// CHECK: [B12 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B11<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: [B10.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 3: (CXXConstructExpr, [B1.4], class A)<br>
+// CHECK-NEXT: 4: A e;<br>
+// CHECK-NEXT: 5: [B1.4].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 6: [B11.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (2): B8 B10<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: Preds (2): B3 B6<br>
+// CHECK-NEXT: Succs (1): B10<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: (CXXConstructExpr, [B3.2], class A)<br>
+// CHECK-NEXT: 2: A d;<br>
+// CHECK-NEXT: 3: [B3.2].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 6: [B10.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(b)<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: return;<br>
+// CHECK-NEXT: 2: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 3: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 4: [B10.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 6: [B11.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: UV<br>
+// CHECK-NEXT: 2: [B5.1] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B5.2]<br>
+// CHECK-NEXT: Preds (1): B7<br>
+// CHECK-NEXT: Succs (2): B4 B3<br>
+// CHECK: [B6]<br>
+// CHECK-NEXT: 1: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 3: [B10.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: CFGScopeEnd(b)<br>
+// CHECK-NEXT: T: continue;<br>
+// CHECK-NEXT: Preds (1): B7<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B7]<br>
+// CHECK-NEXT: 1: UV<br>
+// CHECK-NEXT: 2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B7.2]<br>
+// CHECK-NEXT: Preds (1): B9<br>
+// CHECK-NEXT: Succs (2): B6 B5<br>
+// CHECK: [B8]<br>
+// CHECK-NEXT: 1: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(c)<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (1): B9<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B9]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B9.3], class A)<br>
+// CHECK-NEXT: 3: A c;<br>
+// CHECK-NEXT: 4: UV<br>
+// CHECK-NEXT: 5: [B9.4] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B9.5]<br>
+// CHECK-NEXT: Preds (1): B10<br>
+// CHECK-NEXT: Succs (2): B8 B7<br>
+// CHECK: [B10]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(b)<br>
+// CHECK-NEXT: 2: a<br>
+// CHECK-NEXT: 3: [B10.2] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 4: [B10.3] (CXXConstructExpr, class A)<br>
+// CHECK-NEXT: 5: A b = a;<br>
+// CHECK-NEXT: 6: b<br>
+// CHECK-NEXT: 7: [B10.6] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 8: [B10.7].operator int<br>
+// CHECK-NEXT: 9: [B10.7]<br>
+// CHECK-NEXT: 10: [B10.9] (ImplicitCastExpr, UserDefinedConversion, int)<br>
+// CHECK-NEXT: 11: [B10.10] (ImplicitCastExpr, IntegralToBoolean, _Bool)<br>
+// CHECK-NEXT: T: while [B10.11]<br>
+// CHECK-NEXT: Preds (2): B2 B11<br>
+// CHECK-NEXT: Succs (2): B9 B1<br>
+// CHECK: [B11]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B11.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: Preds (1): B12<br>
+// CHECK-NEXT: Succs (1): B10<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (2): B1 B4<br>
+void test_while_jumps() {<br>
+ A a;<br>
+ while (A b = a) {<br>
+ A c;<br>
+ if (UV) break;<br>
+ if (UV) continue;<br>
+ if (UV) return;<br>
+ A d;<br>
+ }<br>
+ A e;<br>
+}<br>
+<br>
+// CHECK: [B12 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B11<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: (CXXConstructExpr, [B1.2], class A)<br>
+// CHECK-NEXT: 2: A d;<br>
+// CHECK-NEXT: 3: [B1.2].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: [B11.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (2): B8 B2<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: UV<br>
+// CHECK-NEXT: 2: [B2.1] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: do ... while [B2.2]<br>
+// CHECK-NEXT: Preds (2): B3 B6<br>
+// CHECK-NEXT: Succs (2): B10 B1<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: (CXXConstructExpr, [B3.2], class A)<br>
+// CHECK-NEXT: 2: A c;<br>
+// CHECK-NEXT: 3: [B3.2].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(b)<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: return;<br>
+// CHECK-NEXT: 2: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 3: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 4: [B11.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: UV<br>
+// CHECK-NEXT: 2: [B5.1] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B5.2]<br>
+// CHECK-NEXT: Preds (1): B7<br>
+// CHECK-NEXT: Succs (2): B4 B3<br>
+// CHECK: [B6]<br>
+// CHECK-NEXT: 1: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(b)<br>
+// CHECK-NEXT: T: continue;<br>
+// CHECK-NEXT: Preds (1): B7<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B7]<br>
+// CHECK-NEXT: 1: UV<br>
+// CHECK-NEXT: 2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B7.2]<br>
+// CHECK-NEXT: Preds (1): B9<br>
+// CHECK-NEXT: Succs (2): B6 B5<br>
+// CHECK: [B8]<br>
+// CHECK-NEXT: 1: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(b)<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (1): B9<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B9]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(b)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B9.3], class A)<br>
+// CHECK-NEXT: 3: A b;<br>
+// CHECK-NEXT: 4: UV<br>
+// CHECK-NEXT: 5: [B9.4] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B9.5]<br>
+// CHECK-NEXT: Preds (2): B10 B11<br>
+// CHECK-NEXT: Succs (2): B8 B7<br>
+// CHECK: [B10]<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B9<br>
+// CHECK: [B11]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B11.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: Preds (1): B12<br>
+// CHECK-NEXT: Succs (1): B9<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (2): B1 B4<br>
+void test_do_jumps() {<br>
+ A a;<br>
+ do {<br>
+ A b;<br>
+ if (UV) break;<br>
+ if (UV) continue;<br>
+ if (UV) return;<br>
+ A c;<br>
+ } while (UV);<br>
+ A d;<br>
+}<br>
+<br>
+// CHECK: [B6 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B5<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: [B4.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 3: [B5.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: Preds (1): B3<br>
+// CHECK-NEXT: Succs (1): B4<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B3.3], class A)<br>
+// CHECK-NEXT: 3: A c;<br>
+// CHECK-NEXT: 4: [B3.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 6: [B4.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(b)<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(b)<br>
+// CHECK-NEXT: 2: a<br>
+// CHECK-NEXT: 3: [B4.2] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 4: [B4.3] (CXXConstructExpr, class A)<br>
+// CHECK-NEXT: 5: A b = a;<br>
+// CHECK-NEXT: 6: b<br>
+// CHECK-NEXT: 7: [B4.6] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 8: [B4.7].operator int<br>
+// CHECK-NEXT: 9: [B4.7]<br>
+// CHECK-NEXT: 10: [B4.9] (ImplicitCastExpr, UserDefinedConversion, int)<br>
+// CHECK-NEXT: 11: [B4.10] (ImplicitCastExpr, IntegralToBoolean, _Bool)<br>
+// CHECK-NEXT: T: for (...; [B4.11]; )<br>
+// CHECK-NEXT: Preds (2): B2 B5<br>
+// CHECK-NEXT: Succs (2): B3 B1<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B5.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: Preds (1): B6<br>
+// CHECK-NEXT: Succs (1): B4<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_for_implicit_scope() {<br>
+ for (A a; A b = a; )<br>
+ A c;<br>
+}<br>
+<br>
+// CHECK: [B12 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B11<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: [B10.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 3: [B11.6].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 5: (CXXConstructExpr, [B1.6], class A)<br>
+// CHECK-NEXT: 6: A f;<br>
+// CHECK-NEXT: 7: [B1.6].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 8: [B11.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 9: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (2): B8 B10<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: Preds (2): B3 B6<br>
+// CHECK-NEXT: Succs (1): B10<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: (CXXConstructExpr, [B3.2], class A)<br>
+// CHECK-NEXT: 2: A e;<br>
+// CHECK-NEXT: 3: [B3.2].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(d)<br>
+// CHECK-NEXT: 6: [B10.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(c)<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: return;<br>
+// CHECK-NEXT: 2: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 3: CFGScopeEnd(d)<br>
+// CHECK-NEXT: 4: [B10.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(c)<br>
+// CHECK-NEXT: 6: [B11.6].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(b)<br>
+// CHECK-NEXT: 8: [B11.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 9: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: UV<br>
+// CHECK-NEXT: 2: [B5.1] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B5.2]<br>
+// CHECK-NEXT: Preds (1): B7<br>
+// CHECK-NEXT: Succs (2): B4 B3<br>
+// CHECK: [B6]<br>
+// CHECK-NEXT: 1: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(d)<br>
+// CHECK-NEXT: T: continue;<br>
+// CHECK-NEXT: Preds (1): B7<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B7]<br>
+// CHECK-NEXT: 1: UV<br>
+// CHECK-NEXT: 2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B7.2]<br>
+// CHECK-NEXT: Preds (1): B9<br>
+// CHECK-NEXT: Succs (2): B6 B5<br>
+// CHECK: [B8]<br>
+// CHECK-NEXT: 1: [B9.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(d)<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (1): B9<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B9]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(d)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B9.3], class A)<br>
+// CHECK-NEXT: 3: A d;<br>
+// CHECK-NEXT: 4: UV<br>
+// CHECK-NEXT: 5: [B9.4] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B9.5]<br>
+// CHECK-NEXT: Preds (1): B10<br>
+// CHECK-NEXT: Succs (2): B8 B7<br>
+// CHECK: [B10]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: b<br>
+// CHECK-NEXT: 3: [B10.2] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 4: [B10.3] (CXXConstructExpr, class A)<br>
+// CHECK-NEXT: 5: A c = b;<br>
+// CHECK-NEXT: 6: c<br>
+// CHECK-NEXT: 7: [B10.6] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 8: [B10.7].operator int<br>
+// CHECK-NEXT: 9: [B10.7]<br>
+// CHECK-NEXT: 10: [B10.9] (ImplicitCastExpr, UserDefinedConversion, int)<br>
+// CHECK-NEXT: 11: [B10.10] (ImplicitCastExpr, IntegralToBoolean, _Bool)<br>
+// CHECK-NEXT: T: for (...; [B10.11]; )<br>
+// CHECK-NEXT: Preds (2): B2 B11<br>
+// CHECK-NEXT: Succs (2): B9 B1<br>
+// CHECK: [B11]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B11.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: 4: CFGScopeBegin(b)<br>
+// CHECK-NEXT: 5: (CXXConstructExpr, [B11.6], class A)<br>
+// CHECK-NEXT: 6: A b;<br>
+// CHECK-NEXT: Preds (1): B12<br>
+// CHECK-NEXT: Succs (1): B10<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (2): B1 B4<br>
+void test_for_jumps() {<br>
+ A a;<br>
+ for (A b; A c = b; ) {<br>
+ A d;<br>
+ if (UV) break;<br>
+ if (UV) continue;<br>
+ if (UV) return;<br>
+ A e;<br>
+ }<br>
+ A f;<br>
+}<br>
+<br>
+// CHECK: [B8 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B7<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: l1:<br>
+// CHECK-NEXT: 1: (CXXConstructExpr, [B1.2], class A)<br>
+// CHECK-NEXT: 2: A c;<br>
+// CHECK-NEXT: 3: [B1.2].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: [B6.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: [B6.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 6: [B7.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 7: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (2): B2 B3<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: (CXXConstructExpr, [B2.2], class A)<br>
+// CHECK-NEXT: 2: A b;<br>
+// CHECK-NEXT: 3: [B2.2].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: [B6.8].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: [B6.8].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(a)<br>
+// CHECK-NEXT: T: goto l1;<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: UV<br>
+// CHECK-NEXT: 2: [B4.1] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B4.2]<br>
+// CHECK-NEXT: Preds (1): B6<br>
+// CHECK-NEXT: Succs (2): B3 B2<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: [B6.8].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 2: [B6.5].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 3: [B6.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 4: CFGScopeEnd(cb)<br>
+// CHECK-NEXT: T: goto l0;<br>
+// CHECK-NEXT: Preds (1): B6<br>
+// CHECK-NEXT: Succs (1): B6<br>
+// CHECK: [B6]<br>
+// CHECK-NEXT: l0:<br>
+// CHECK-NEXT: 1: CFGScopeBegin(cb)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B6.3], class A)<br>
+// CHECK-NEXT: 3: A cb;<br>
+// CHECK-NEXT: 4: (CXXConstructExpr, [B6.5], class A)<br>
+// CHECK-NEXT: 5: A b;<br>
+// CHECK-NEXT: 6: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 7: (CXXConstructExpr, [B6.8], class A)<br>
+// CHECK-NEXT: 8: A a;<br>
+// CHECK-NEXT: 9: UV<br>
+// CHECK-NEXT: 10: [B6.9] (ImplicitCastExpr, LValueToRValue, _Bool)<br>
+// CHECK-NEXT: T: if [B6.10]<br>
+// CHECK-NEXT: Preds (2): B7 B5<br>
+// CHECK-NEXT: Succs (2): B5 B4<br>
+// CHECK: [B7]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B7.3], class A)<br>
+// CHECK-NEXT: 3: A a;<br>
+// CHECK-NEXT: Preds (1): B8<br>
+// CHECK-NEXT: Succs (1): B6<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_goto() {<br>
+ A a;<br>
+l0:<br>
+ A cb;<br>
+ A b;<br>
+ { A a;<br>
+ if (UV) goto l0;<br>
+ if (UV) goto l1;<br>
+ A b;<br>
+ }<br>
+l1:<br>
+ A c;<br>
+}<br>
+<br>
+// CHECK: [B7 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B6<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: CFGScopeEnd(i)<br>
+// CHECK-NEXT: 2: CFGScopeBegin(unused2)<br>
+// CHECK-NEXT: 3: int unused2;<br>
+// CHECK-NEXT: 4: CFGScopeEnd(unused2)<br>
+// CHECK-NEXT: Preds (2): B4 B5<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: i<br>
+// CHECK-NEXT: 2: ++[B2.1]<br>
+// CHECK-NEXT: Preds (1): B3<br>
+// CHECK-NEXT: Succs (1): B5<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: CFGScopeEnd(unused1)<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(unused1)<br>
+// CHECK-NEXT: 2: int unused1;<br>
+// CHECK-NEXT: 3: CFGScopeEnd(unused1)<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: i<br>
+// CHECK-NEXT: 2: [B5.1] (ImplicitCastExpr, LValueToRValue, int)<br>
+// CHECK-NEXT: 3: 3<br>
+// CHECK-NEXT: 4: [B5.2] < [B5.3]<br>
+// CHECK-NEXT: T: for (...; [B5.4]; ...)<br>
+// CHECK-NEXT: Preds (2): B2 B6<br>
+// CHECK-NEXT: Succs (2): B4 B1<br>
+// CHECK: [B6]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(i)<br>
+// CHECK-NEXT: 2: 0<br>
+// CHECK-NEXT: 3: int i = 0;<br>
+// CHECK-NEXT: Preds (1): B7<br>
+// CHECK-NEXT: Succs (1): B5<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_for_compound_and_break() {<br>
+ for (int i = 0; i < 3; ++i) {<br>
+ {<br>
+ int unused1;<br>
+ break;<br>
+ }<br>
+ }<br>
+ {<br>
+ int unused2;<br>
+ }<br>
+}<br>
+<br>
+// CHECK: [B6 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B5<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: CFGScopeEnd(__end1)<br>
+// CHECK-NEXT: 2: CFGScopeEnd(__begin1)<br>
+// CHECK-NEXT: 3: CFGScopeEnd(__range1)<br>
+// CHECK-NEXT: 4: [B5.3].~A() (Implicit destructor)<br>
+// CHECK-NEXT: 5: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: __begin1<br>
+// CHECK-NEXT: 2: [B2.1] (ImplicitCastExpr, LValueToRValue, class A *)<br>
+// CHECK-NEXT: 3: __end1<br>
+// CHECK-NEXT: 4: [B2.3] (ImplicitCastExpr, LValueToRValue, class A *)<br>
+// CHECK-NEXT: 5: [B2.2] != [B2.4]<br>
+// CHECK-NEXT: T: for (auto &i : [B5.4]) {<br>
+// CHECK: [B4.11];<br>
+// CHECK-NEXT:}<br>
+// CHECK-NEXT: Preds (2): B3 B5<br>
+// CHECK-NEXT: Succs (2): B4 B1<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: __begin1<br>
+// CHECK-NEXT: 2: ++[B3.1]<br>
+// CHECK-NEXT: Preds (1): B4<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(i)<br>
+// CHECK-NEXT: 2: __begin1<br>
+// CHECK-NEXT: 3: [B4.2] (ImplicitCastExpr, LValueToRValue, class A *)<br>
+// CHECK-NEXT: 4: *[B4.3]<br>
+// CHECK-NEXT: 5: auto &i = *__begin1;<br>
+// CHECK-NEXT: 6: operator=<br>
+// CHECK-NEXT: 7: [B4.6] (ImplicitCastExpr, FunctionToPointerDecay, class A &(*)(const class A &) noexcept)<br>
+// CHECK-NEXT: 8: i<br>
+// CHECK-NEXT: 9: b<br>
+// CHECK-NEXT: 10: [B4.9] (ImplicitCastExpr, NoOp, const class A)<br>
+// CHECK-NEXT: 11: [B4.8] = [B4.10] (OperatorCall)<br>
+// CHECK-NEXT: 12: CFGScopeEnd(i)<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B3<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: (CXXConstructExpr, [B5.3], class A [10])<br>
+// CHECK-NEXT: 3: A a[10];<br>
+// CHECK-NEXT: 4: a<br>
+// CHECK-NEXT: 5: auto &&__range1 = a;<br>
+// CHECK-NEXT: 6: CFGScopeBegin(__end1)<br>
+// CHECK-NEXT: 7: __range1<br>
+// CHECK-NEXT: 8: [B5.7] (ImplicitCastExpr, ArrayToPointerDecay, class A *)<br>
+// CHECK-NEXT: 9: 10L<br>
+// CHECK-NEXT: 10: [B5.8] + [B5.9]<br>
+// CHECK-NEXT: 11: auto __end1 = __range1 + 10L;<br>
+// CHECK-NEXT: 12: __range1<br>
+// CHECK-NEXT: 13: [B5.12] (ImplicitCastExpr, ArrayToPointerDecay, class A *)<br>
+// CHECK-NEXT: 14: auto __begin1 = __range1;<br>
+// CHECK-NEXT: Preds (1): B6<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_range_for(A &b) {<br>
+ A a[10];<br>
+ for (auto &i : a)<br>
+ i = b;<br>
+}<br>
+<br>
+// CHECK: [B8 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: CFGScopeEnd(i)<br>
+// CHECK-NEXT: 2: 1<br>
+// CHECK-NEXT: 3: int k = 1;<br>
+// CHECK-NEXT: 4: CFGScopeEnd(c)<br>
+// CHECK-NEXT: Preds (3): B3 B5 B6<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: '1'<br>
+// CHECK-NEXT: 3: char c = '1';<br>
+// CHECK-NEXT: 4: CFGScopeBegin(i)<br>
+// CHECK-NEXT: 5: getX<br>
+// CHECK-NEXT: 6: [B2.5] (ImplicitCastExpr, FunctionToPointerDecay, int (*)(void))<br>
+// CHECK-NEXT: 7: [B2.6]()<br>
+// CHECK-NEXT: 8: int i = getX();<br>
+// CHECK-NEXT: 9: i<br>
+// CHECK-NEXT: 10: [B2.9] (ImplicitCastExpr, LValueToRValue, int)<br>
+// CHECK-NEXT: T: switch [B2.10]<br>
+// CHECK-NEXT: Preds (1): B8<br>
+// CHECK-NEXT: Succs (5): B4 B5 B6 B7 B3<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: default:<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: 0<br>
+// CHECK-NEXT: 3: int a = 0;<br>
+// CHECK-NEXT: 4: i<br>
+// CHECK-NEXT: 5: ++[B3.4]<br>
+// CHECK-NEXT: 6: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (2): B4 B2<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: case 3:<br>
+// CHECK-NEXT: 1: '2'<br>
+// CHECK-NEXT: 2: c<br>
+// CHECK-NEXT: 3: [B4.2] = [B4.1]<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B3<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: case 2:<br>
+// CHECK-NEXT: 1: '2'<br>
+// CHECK-NEXT: 2: c<br>
+// CHECK-NEXT: 3: [B5.2] = [B5.1]<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B6]<br>
+// CHECK-NEXT: case 1:<br>
+// CHECK-NEXT: 1: '3'<br>
+// CHECK-NEXT: 2: c<br>
+// CHECK-NEXT: 3: [B6.2] = [B6.1]<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (2): B2 B7<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B7]<br>
+// CHECK-NEXT: case 0:<br>
+// CHECK-NEXT: 1: '2'<br>
+// CHECK-NEXT: 2: c<br>
+// CHECK-NEXT: 3: [B7.2] = [B7.1]<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B6<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_switch_with_compound_<wbr>with_default() {<br>
+ char c = '1';<br>
+ switch (int i = getX()) {<br>
+ case 0:<br>
+ c = '2';<br>
+ case 1:<br>
+ c = '3';<br>
+ break;<br>
+ case 2: {<br>
+ c = '2';<br>
+ break;<br>
+ }<br>
+ case 3:<br>
+ c = '2';<br>
+ default: {<br>
+ int a = 0;<br>
+ ++i;<br>
+ }<br>
+ }<br>
+ int k = 1;<br>
+}<br>
+<br>
+// CHECK: [B6 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: CFGScopeEnd(i)<br>
+// CHECK-NEXT: 2: 3<br>
+// CHECK-NEXT: 3: int k = 3;<br>
+// CHECK-NEXT: 4: CFGScopeEnd(c)<br>
+// CHECK-NEXT: Preds (3): B3 B4 B2<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(c)<br>
+// CHECK-NEXT: 2: '1'<br>
+// CHECK-NEXT: 3: char c = '1';<br>
+// CHECK-NEXT: 4: CFGScopeBegin(i)<br>
+// CHECK-NEXT: 5: getX<br>
+// CHECK-NEXT: 6: [B2.5] (ImplicitCastExpr, FunctionToPointerDecay, int (*)(void))<br>
+// CHECK-NEXT: 7: [B2.6]()<br>
+// CHECK-NEXT: 8: int i = getX();<br>
+// CHECK-NEXT: 9: i<br>
+// CHECK-NEXT: 10: [B2.9] (ImplicitCastExpr, LValueToRValue, int)<br>
+// CHECK-NEXT: T: switch [B2.10]<br>
+// CHECK-NEXT: Preds (1): B6<br>
+// CHECK-NEXT: Succs (4): B3 B4 B5 B1<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: case 2:<br>
+// CHECK-NEXT: 1: '3'<br>
+// CHECK-NEXT: 2: c<br>
+// CHECK-NEXT: 3: [B3.2] = [B3.1]<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: case 1:<br>
+// CHECK-NEXT: 1: '1'<br>
+// CHECK-NEXT: 2: c<br>
+// CHECK-NEXT: 3: [B4.2] = [B4.1]<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (2): B2 B5<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: case 0:<br>
+// CHECK-NEXT: 1: '2'<br>
+// CHECK-NEXT: 2: c<br>
+// CHECK-NEXT: 3: [B5.2] = [B5.1]<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B4<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+int test_switch_with_compound_<wbr>without_default() {<br>
+ char c = '1';<br>
+ switch (int i = getX()) {<br>
+ case 0:<br>
+ c = '2';<br>
+ case 1:<br>
+ c = '1';<br>
+ break;<br>
+ case 2:<br>
+ c = '3';<br>
+ break;<br>
+ }<br>
+ int k = 3;<br>
+}<br>
+<br>
+// CHECK: [B5 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: CFGScopeEnd(i)<br>
+// CHECK-NEXT: 2: 1<br>
+// CHECK-NEXT: 3: int k = 1;<br>
+// CHECK-NEXT: 4: CFGScopeEnd(s)<br>
+// CHECK-NEXT: Preds (1): B3<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(s)<br>
+// CHECK-NEXT: 2: '1'<br>
+// CHECK-NEXT: 3: char s = '1';<br>
+// CHECK-NEXT: 4: CFGScopeBegin(i)<br>
+// CHECK-NEXT: 5: getX<br>
+// CHECK-NEXT: 6: [B2.5] (ImplicitCastExpr, FunctionToPointerDecay, int (*)(void))<br>
+// CHECK-NEXT: 7: [B2.6]()<br>
+// CHECK-NEXT: 8: int i = getX();<br>
+// CHECK-NEXT: 9: i<br>
+// CHECK-NEXT: 10: [B2.9] (ImplicitCastExpr, LValueToRValue, int)<br>
+// CHECK-NEXT: T: switch [B2.10]<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (2): B4 B3<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: default:<br>
+// CHECK-NEXT: 1: CFGScopeBegin(a)<br>
+// CHECK-NEXT: 2: 0<br>
+// CHECK-NEXT: 3: int a = 0;<br>
+// CHECK-NEXT: 4: i<br>
+// CHECK-NEXT: 5: ++[B3.4]<br>
+// CHECK-NEXT: 6: CFGScopeEnd(a)<br>
+// CHECK-NEXT: Preds (2): B4 B2<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: case 0:<br>
+// CHECK-NEXT: Preds (1): B2<br>
+// CHECK-NEXT: Succs (1): B3<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_without_compound() {<br>
+ char s = '1';<br>
+ switch (int i = getX())<br>
+ case 0:<br>
+ default: {<br>
+ int a = 0;<br>
+ ++i;<br>
+ }<br>
+ int k = 1;<br>
+}<br>
+<br>
+// CHECK: [B12 (ENTRY)]<br>
+// CHECK-NEXT: Succs (1): B11<br>
+// CHECK: [B1]<br>
+// CHECK-NEXT: 1: CFGScopeEnd(i)<br>
+// CHECK-NEXT: Preds (2): B4 B10<br>
+// CHECK-NEXT: Succs (1): B0<br>
+// CHECK: [B2]<br>
+// CHECK-NEXT: 1: i<br>
+// CHECK-NEXT: 2: ++[B2.1]<br>
+// CHECK-NEXT: Preds (2): B3 B7<br>
+// CHECK-NEXT: Succs (1): B10<br>
+// CHECK: [B3]<br>
+// CHECK-NEXT: 1: CFGScopeEnd(z)<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B4]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(z)<br>
+// CHECK-NEXT: 2: 5<br>
+// CHECK-NEXT: 3: int z = 5;<br>
+// CHECK-NEXT: 4: CFGScopeEnd(z)<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (2): B6 B8<br>
+// CHECK-NEXT: Succs (1): B1<br>
+// CHECK: [B5]<br>
+// CHECK-NEXT: 1: x<br>
+// CHECK-NEXT: 2: [B5.1] (ImplicitCastExpr, LValueToRValue, int)<br>
+// CHECK-NEXT: T: switch [B5.2]<br>
+// CHECK-NEXT: Preds (1): B10<br>
+// CHECK-NEXT: Succs (4): B7 B8 B9 B6<br>
+// CHECK: [B6]<br>
+// CHECK-NEXT: default:<br>
+// CHECK-NEXT: 1: 3<br>
+// CHECK-NEXT: 2: y<br>
+// CHECK-NEXT: 3: [B6.2] = [B6.1]<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B4<br>
+// CHECK: [B7]<br>
+// CHECK-NEXT: case 2:<br>
+// CHECK-NEXT: 1: 4<br>
+// CHECK-NEXT: 2: y<br>
+// CHECK-NEXT: 3: [B7.2] = [B7.1]<br>
+// CHECK-NEXT: T: continue;<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B2<br>
+// CHECK: [B8]<br>
+// CHECK-NEXT: case 1:<br>
+// CHECK-NEXT: 1: 2<br>
+// CHECK-NEXT: 2: y<br>
+// CHECK-NEXT: 3: [B8.2] = [B8.1]<br>
+// CHECK-NEXT: T: break;<br>
+// CHECK-NEXT: Preds (2): B5 B9<br>
+// CHECK-NEXT: Succs (1): B4<br>
+// CHECK: [B9]<br>
+// CHECK-NEXT: case 0:<br>
+// CHECK-NEXT: 1: 1<br>
+// CHECK-NEXT: 2: y<br>
+// CHECK-NEXT: 3: [B9.2] = [B9.1]<br>
+// CHECK-NEXT: Preds (1): B5<br>
+// CHECK-NEXT: Succs (1): B8<br>
+// CHECK: [B10]<br>
+// CHECK-NEXT: 1: i<br>
+// CHECK-NEXT: 2: [B10.1] (ImplicitCastExpr, LValueToRValue, int)<br>
+// CHECK-NEXT: 3: 1000<br>
+// CHECK-NEXT: 4: [B10.2] < [B10.3]<br>
+// CHECK-NEXT: T: for (...; [B10.4]; ...)<br>
+// CHECK-NEXT: Preds (2): B2 B11<br>
+// CHECK-NEXT: Succs (2): B5 B1<br>
+// CHECK: [B11]<br>
+// CHECK-NEXT: 1: CFGScopeBegin(i)<br>
+// CHECK-NEXT: 2: int i;<br>
+// CHECK-NEXT: 3: int x;<br>
+// CHECK-NEXT: 4: int y;<br>
+// CHECK-NEXT: 5: 0<br>
+// CHECK-NEXT: 6: i<br>
+// CHECK-NEXT: 7: [B11.6] = [B11.5]<br>
+// CHECK-NEXT: Preds (1): B12<br>
+// CHECK-NEXT: Succs (1): B10<br>
+// CHECK: [B0 (EXIT)]<br>
+// CHECK-NEXT: Preds (1): B1<br>
+void test_for_switch_in_for() {<br>
+ int i, x, y;<br>
+ for (i = 0; i < 1000; ++i) {<br>
+ switch (x) {<br>
+ case 0:<br>
+ y = 1;<br>
+ case 1:<br>
+ y = 2;<br>
+ break; // break from switch<br>
+ case 2:<br>
+ y = 4;<br>
+ continue; // continue in loop<br>
+ default:<br>
+ y = 3;<br>
+ }<br>
+ {<br>
+ int z = 5;<br>
+ break; // break from loop<br>
+ }<br>
+ }<br>
+}<br>
<br>
<br>
______________________________<wbr>_________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@lists.llvm.org">cfe-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/cfe-commits</a><br>
</blockquote></div><br></div>