]> granicus.if.org Git - clang/commit
[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)
commite7ad14e18247ec6fc3d46b208829e3dac6d85a1d
treee378b2bb2875b0aa0b3961dc42a699536c281bc8
parent5ece32e3359ca34fcdab07829f5e9fdbfd157f78
[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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@167762 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
test/Analysis/retain-release-inline.m