diff options
| author | Ted Kremenek <kremenek@apple.com> | 2013-02-26 19:44:38 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2013-02-26 19:44:38 +0000 |
| commit | 37c777ecc03707977ca67b31cd064b3c74f8862d (patch) | |
| tree | bb3fe332ec51540d266fde380f1217065dd55c39 /clang/test/Analysis/inlining/eager-reclamation-path-notes.c | |
| parent | 1c417da558e97f9b77706ed45f90f9c04e6cc085 (diff) | |
| download | bcm5719-llvm-37c777ecc03707977ca67b31cd064b3c74f8862d.tar.gz bcm5719-llvm-37c777ecc03707977ca67b31cd064b3c74f8862d.zip | |
[analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a VarRegion.
Fixes PR15358 and <rdar://problem/13295437>.
Along the way, shorten path diagnostics that say "Variable 'x'" to just
be "'x'". By the context, it is obvious that we have a variable,
and so this just consumes text space.
llvm-svn: 176115
Diffstat (limited to 'clang/test/Analysis/inlining/eager-reclamation-path-notes.c')
| -rw-r--r-- | clang/test/Analysis/inlining/eager-reclamation-path-notes.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/clang/test/Analysis/inlining/eager-reclamation-path-notes.c b/clang/test/Analysis/inlining/eager-reclamation-path-notes.c index c7a0b24bec9..f3e7376156b 100644 --- a/clang/test/Analysis/inlining/eager-reclamation-path-notes.c +++ b/clang/test/Analysis/inlining/eager-reclamation-path-notes.c @@ -17,7 +17,7 @@ int compute() { void testSimple() { int *p = 0; - // expected-note@-1 {{Variable 'p' initialized to a null pointer value}} + // expected-note@-1 {{'p' initialized to a null pointer value}} use(p, compute()); // expected-note@-1 {{Passing null pointer value via 1st parameter 'ptr'}} // expected-note@-2 {{Calling 'use'}} @@ -37,7 +37,7 @@ void passThrough(int *p) { void testChainedCalls() { int *ptr = 0; - // expected-note@-1 {{Variable 'ptr' initialized to a null pointer value}} + // expected-note@-1 {{'ptr' initialized to a null pointer value}} passThrough(ptr); // expected-note@-1 {{Passing null pointer value via 1st parameter 'p'}} // expected-note@-2 {{Calling 'passThrough'}} @@ -73,9 +73,9 @@ void testChainedCalls() { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Variable 'p' initialized to a null pointer value</string> +// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Variable 'p' initialized to a null pointer value</string> +// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> @@ -356,9 +356,9 @@ void testChainedCalls() { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Variable 'ptr' initialized to a null pointer value</string> +// CHECK-NEXT: <string>'ptr' initialized to a null pointer value</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Variable 'ptr' initialized to a null pointer value</string> +// CHECK-NEXT: <string>'ptr' initialized to a null pointer value</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>control</string> |
