]> granicus.if.org Git - clang/commit
[analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a VarRegion.
authorTed Kremenek <kremenek@apple.com>
Tue, 26 Feb 2013 19:44:38 +0000 (19:44 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 26 Feb 2013 19:44:38 +0000 (19:44 +0000)
commit4238f41d484729aca260140fbbc53a68769bf60a
treeb985488d66c1d4f0305a3d2bde872977fb7e2b5e
parent9016bb771265a10f188c76342254badecc695253
[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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@176115 91177308-0d34-0410-b5e6-96231b3b80d8
16 files changed:
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
test/Analysis/conditional-operator-path-notes.c
test/Analysis/default-diagnostic-visitors.c
test/Analysis/diagnostics/deref-track-symbolic-region.cpp
test/Analysis/diagnostics/undef-value-caller.c
test/Analysis/diagnostics/undef-value-param.c
test/Analysis/diagnostics/undef-value-param.m
test/Analysis/inline-plist.c
test/Analysis/inlining/eager-reclamation-path-notes.c
test/Analysis/inlining/path-notes.c
test/Analysis/inlining/path-notes.m
test/Analysis/method-call-path-notes.cpp
test/Analysis/null-deref-path-notes.m
test/Analysis/plist-output-alternate.m
test/Analysis/plist-output.m
test/Analysis/unix-fns.c