diff options
| author | Ted Kremenek <kremenek@apple.com> | 2014-02-27 21:56:44 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2014-02-27 21:56:44 +0000 |
| commit | 9238c5c878c066fe46bd63ddbf4daf1a5e4f99bc (patch) | |
| tree | cda9b4e75cd5a1b93b6360907b79dcc56ef7801b /clang/test/Analysis | |
| parent | 4b408e7a043aa1292e8c1705a17222ace9ba1191 (diff) | |
| download | bcm5719-llvm-9238c5c878c066fe46bd63ddbf4daf1a5e4f99bc.tar.gz bcm5719-llvm-9238c5c878c066fe46bd63ddbf4daf1a5e4f99bc.zip | |
[CFG] record the original (now unreachable) block of 'case:' and 'default:' cases.
llvm-svn: 202435
Diffstat (limited to 'clang/test/Analysis')
| -rw-r--r-- | clang/test/Analysis/cfg.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/clang/test/Analysis/cfg.cpp b/clang/test/Analysis/cfg.cpp index c465acb356b..1f3bfac2c38 100644 --- a/clang/test/Analysis/cfg.cpp +++ b/clang/test/Analysis/cfg.cpp @@ -199,7 +199,7 @@ namespace NoReturnSingleSuccessor { // CHECK-NEXT: 1: x // CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, LValueToRValue, int) // CHECK-NEXT: 3: return [B1.2]; -// CHECK-NEXT: Preds (4): B3 B4 B5 B6 +// CHECK-NEXT: Preds (5): B3 B4 B5 B6 B2(Unreachable) // CHECK-NEXT: Succs (1): B0 // CHECK: [B2] // CHECK-NEXT: 1: 0 @@ -209,7 +209,7 @@ namespace NoReturnSingleSuccessor { // CHECK-NEXT: 5: [B2.4] (ImplicitCastExpr, IntegralCast, int) // CHECK-NEXT: T: switch [B2.5] // CHECK-NEXT: Preds (1): B7 -// CHECK-NEXT: Succs (5): B3 B4 B5 B6 NULL +// CHECK-NEXT: Succs (5): B3 B4 B5 B6 B1(Unreachable) // CHECK: [B3] // CHECK-NEXT: case D: // CHECK-NEXT: 1: 4 @@ -275,13 +275,14 @@ int test_enum_with_extension(enum MyEnum value) { // CHECK-NEXT: 5: [B2.4] (ImplicitCastExpr, IntegralCast, int) // CHECK-NEXT: T: switch [B2.5] // CHECK-NEXT: Preds (1): B7 -// CHECK-NEXT: Succs (4): B4 B5 B6 NULL +// CHECK-NEXT: Succs (4): B4 B5 B6 B3(Unreachable) // CHECK: [B3] // CHECK-NEXT: default: // CHECK-NEXT: 1: 4 // CHECK-NEXT: 2: x // CHECK-NEXT: 3: [B3.2] = [B3.1] // CHECK-NEXT: T: break; +// CHECK-NEXT: Preds (1): B2(Unreachable) // CHECK-NEXT: Succs (1): B1 // CHECK: [B4] // CHECK-NEXT: case C: |
