diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2014-04-01 16:39:33 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2014-04-01 16:39:33 +0000 |
| commit | 398fb00e1ecfe9e3d2fc3e61dc7dcc709f3eece8 (patch) | |
| tree | 62aa57f69c34b02d840e1662d5457cf82f2c1b68 /clang/lib/Analysis/CFG.cpp | |
| parent | 2b9036d54df32412cef00551dc6dd83384050289 (diff) | |
| download | bcm5719-llvm-398fb00e1ecfe9e3d2fc3e61dc7dcc709f3eece8.tar.gz bcm5719-llvm-398fb00e1ecfe9e3d2fc3e61dc7dcc709f3eece8.zip | |
[analyzer] Fix a CFG printing bug.
Also, add several destructor-related tests. Most of them don't work yet, but it's
good to have them recorded.
Patch by Alex McCarthy!
llvm-svn: 205326
Diffstat (limited to 'clang/lib/Analysis/CFG.cpp')
| -rw-r--r-- | clang/lib/Analysis/CFG.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/Analysis/CFG.cpp b/clang/lib/Analysis/CFG.cpp index 13ac92e86f2..400c2025bc1 100644 --- a/clang/lib/Analysis/CFG.cpp +++ b/clang/lib/Analysis/CFG.cpp @@ -3903,6 +3903,8 @@ static void print_block(raw_ostream &OS, const CFG* cfg, OS << " (EXIT)]\n"; else if (&B == cfg->getIndirectGotoBlock()) OS << " (INDIRECT GOTO DISPATCH)]\n"; + else if (B.hasNoReturnElement()) + OS << " (NORETURN)]\n"; else OS << "]\n"; |
