[analyzer] Fix a regression (from r 165079): compare canonical types.
authorAnna Zaks <ganna@apple.com>
Mon, 12 Nov 2012 22:06:24 +0000 (22:06 +0000)
committerAnna Zaks <ganna@apple.com>
Mon, 12 Nov 2012 22:06:24 +0000 (22:06 +0000)
commit4e255b62f1e504b8773f50bf726b4c6fb56cb55f
tree11925c69f4d2e8849116a3449cbab37bdcd4835a
parentb1da2cb3fdb6444e9db7db0e17b3cd505771d688
[analyzer] Fix a regression (from r 165079): compare canonical types.

Suppresses a leak false positive (radar://12663777).

In addition, we'll need to rewrite the adjustReturnValue() method not to
return UnknownVal by default, but rather assert in cases we cannot
handle. To make it possible, we need to correctly handle some of the
edge cases we already know about.

llvm-svn: 167762
clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
clang/test/Analysis/retain-release-inline.m