diff options
| author | Daniel Marjamaki <daniel.marjamaki@evidente.se> | 2016-10-03 09:45:35 +0000 |
|---|---|---|
| committer | Daniel Marjamaki <daniel.marjamaki@evidente.se> | 2016-10-03 09:45:35 +0000 |
| commit | fd1b3814b321544aff5b7ab1609130b48b88bef7 (patch) | |
| tree | cc6bf64ccc5b8442adb1c7354b7112314ac4cff4 /clang/test/Analysis/unreachable-code-path.c | |
| parent | 042a3c5a2d3ace9b3e67425576971e47cf1a65cb (diff) | |
| download | bcm5719-llvm-fd1b3814b321544aff5b7ab1609130b48b88bef7.tar.gz bcm5719-llvm-fd1b3814b321544aff5b7ab1609130b48b88bef7.zip | |
[StaticAnalyser] Add test case to ensure that unreachable code is found.
https://reviews.llvm.org/D24905
llvm-svn: 283096
Diffstat (limited to 'clang/test/Analysis/unreachable-code-path.c')
| -rw-r--r-- | clang/test/Analysis/unreachable-code-path.c | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/clang/test/Analysis/unreachable-code-path.c b/clang/test/Analysis/unreachable-code-path.c index 7879240d429..f0db575ba49 100644 --- a/clang/test/Analysis/unreachable-code-path.c +++ b/clang/test/Analysis/unreachable-code-path.c @@ -161,7 +161,7 @@ void testInlined() { // Don't warn about unreachable VarDecl. void dostuff(int*A); -void varDecl(int X) { +void varDecl1(int X) { switch (X) { int A; // No warning here. case 1: @@ -172,6 +172,17 @@ void varDecl(int X) { break; } } +void varDecl2(int X) { + switch (X) { + int A=1; // expected-warning {{never executed}} + case 1: + dostuff(&A); + break; + case 2: + dostuff(&A); + break; + } +} // Ensure that ExplodedGraph and unoptimized CFG match. void test12(int x) { |
