]> granicus.if.org Git - clang/commit
[analyzer] Path-insensitive checker for writes into an auto-releasing pointer
authorGeorge Karpenkov <ekarpenkov@apple.com>
Thu, 29 Mar 2018 20:55:34 +0000 (20:55 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Thu, 29 Mar 2018 20:55:34 +0000 (20:55 +0000)
commitac7d18322f21794a4cc5db3e53b2b7a8783f96f2
tree08d1363d1a6c488b3a8186bb64f66f29ec72293d
parenta204565a1d5376830ec8fa0efa9dfd7326ea89d6
[analyzer] Path-insensitive checker for writes into an auto-releasing pointer

from the wrong auto-releasing pool, as such writes may crash.

rdar://25301111

Differential Revision: https://reviews.llvm.org/D44722

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@328827 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Checkers/Checkers.td
lib/StaticAnalyzer/Checkers/CMakeLists.txt
lib/StaticAnalyzer/Checkers/ObjCAutoreleaseWriteChecker.cpp [new file with mode: 0644]
test/Analysis/autoreleasewritechecker_test.m [new file with mode: 0644]