diff options
author | Chandler Carruth <chandlerc@gmail.com> | 2011-09-13 09:53:55 +0000 |
---|---|---|
committer | Chandler Carruth <chandlerc@gmail.com> | 2011-09-13 09:53:55 +0000 |
commit | 75d78232fd6d3fcd7d913c14f00ab27170e317b1 (patch) | |
tree | 9b675752b4983b70b7012a918373b44df9b8b8c2 /clang/lib/Analysis/CFG.cpp | |
parent | a70991bb3f2cb178c7c1b57f062d10823aa9ca96 (diff) | |
download | bcm5719-llvm-75d78232fd6d3fcd7d913c14f00ab27170e317b1.tar.gz bcm5719-llvm-75d78232fd6d3fcd7d913c14f00ab27170e317b1.zip |
Add a bit to the CFGBlock to track when it contains a no-return
CFGElement. This will allow greatly simplifying the logic in
-Wreturn-type.
llvm-svn: 139593
Diffstat (limited to 'clang/lib/Analysis/CFG.cpp')
-rw-r--r-- | clang/lib/Analysis/CFG.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/Analysis/CFG.cpp b/clang/lib/Analysis/CFG.cpp index 12ff84417fc..0775dcfb79e 100644 --- a/clang/lib/Analysis/CFG.cpp +++ b/clang/lib/Analysis/CFG.cpp @@ -603,6 +603,7 @@ CFGBlock *CFGBuilder::createBlock(bool add_successor) { /// directly tied to the exit block in order to be reachable. CFGBlock *CFGBuilder::createNoReturnBlock() { CFGBlock *B = createBlock(false); + B->setHasNoReturnElement(); addSuccessor(B, &cfg->getExit()); return B; } |