]> granicus.if.org Git - clang/commit
[analyzer] Improve pattern matching in ObjCDealloc checker.
authorDevin Coughlin <dcoughlin@apple.com>
Thu, 11 Feb 2016 22:13:20 +0000 (22:13 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Thu, 11 Feb 2016 22:13:20 +0000 (22:13 +0000)
commit6df7834ea1564dc1602d8d98a7c9390d17e8bf25
tree0c46a9dd8438c2cb536239fc60164e3ba5551b60
parentc8288db409122cbf8a26da9252f70df48cd520bb
[analyzer] Improve pattern matching in ObjCDealloc checker.

Look through PseudoObjectExpr and OpaqueValueExprs when scanning for
release-like operations. This commit also adds additional tests in anticipation
of re-writing this as a path-sensitive checker.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@260608 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp
test/Analysis/DeallocMissingRelease.m
test/Analysis/PR2978.m