diff options
| author | Ted Kremenek <kremenek@apple.com> | 2014-02-27 00:24:05 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2014-02-27 00:24:05 +0000 |
| commit | f353919e8eb8e9ce7fafcb3df22588a89c55c017 (patch) | |
| tree | 705d1516f6492ba969ba71602adc7991cbb46fee /clang/lib/Analysis/CFG.cpp | |
| parent | f389861052c2f84c73a6a39eb1267fd28347be88 (diff) | |
| download | bcm5719-llvm-f353919e8eb8e9ce7fafcb3df22588a89c55c017.tar.gz bcm5719-llvm-f353919e8eb8e9ce7fafcb3df22588a89c55c017.zip | |
[CFG] encode unreachable block information for would-have-been successors for calls to 'noreturn' functions.
llvm-svn: 202327
Diffstat (limited to 'clang/lib/Analysis/CFG.cpp')
| -rw-r--r-- | clang/lib/Analysis/CFG.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/CFG.cpp b/clang/lib/Analysis/CFG.cpp index 0251927cc53..180a01289b1 100644 --- a/clang/lib/Analysis/CFG.cpp +++ b/clang/lib/Analysis/CFG.cpp @@ -742,7 +742,7 @@ CFGBlock *CFGBuilder::createBlock(bool add_successor) { CFGBlock *CFGBuilder::createNoReturnBlock() { CFGBlock *B = createBlock(false); B->setHasNoReturnElement(); - addSuccessor(B, &cfg->getExit()); + addSuccessor(B, &cfg->getExit(), Succ); return B; } |
