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/unix-fns.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/unix-fns.c')
| -rw-r--r-- | clang/test/Analysis/unix-fns.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/clang/test/Analysis/unix-fns.c b/clang/test/Analysis/unix-fns.c index fd9b22dae8a..cfd5d14e8a0 100644 --- a/clang/test/Analysis/unix-fns.c +++ b/clang/test/Analysis/unix-fns.c @@ -1392,9 +1392,9 @@ void test_inline_dispatch_once() { // 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> @@ -1455,9 +1455,9 @@ void test_inline_dispatch_once() { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Variable 'p' captured by block as a null pointer value</string> +// CHECK-NEXT: <string>'p' captured by block as a null pointer value</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Variable 'p' captured by block as a null pointer value</string> +// CHECK-NEXT: <string>'p' captured by block as a null pointer value</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>event</string> @@ -1763,9 +1763,9 @@ void test_inline_dispatch_once() { // 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> @@ -1826,9 +1826,9 @@ void test_inline_dispatch_once() { // CHECK-NEXT: </array> // CHECK-NEXT: <key>depth</key><integer>0</integer> // CHECK-NEXT: <key>extended_message</key> -// CHECK-NEXT: <string>Variable 'p' captured by block as a null pointer value</string> +// CHECK-NEXT: <string>'p' captured by block as a null pointer value</string> // CHECK-NEXT: <key>message</key> -// CHECK-NEXT: <string>Variable 'p' captured by block as a null pointer value</string> +// CHECK-NEXT: <string>'p' captured by block as a null pointer value</string> // CHECK-NEXT: </dict> // CHECK-NEXT: <dict> // CHECK-NEXT: <key>kind</key><string>event</string> |
