summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/unreachable-code-path.c
diff options
context:
space:
mode:
Diffstat (limited to 'clang/test/Analysis/unreachable-code-path.c')
-rw-r--r--clang/test/Analysis/unreachable-code-path.c13
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) {
OpenPOWER on IntegriCloud