[analyzer] Introduce ObjCSelfInitChecker, which checks initialization methods to...
commitf9a46df00b3e3a897c5c32402f6541d8af4bd8ab
authorArgiris Kirtzidis <akyrtzi@gmail.com>
Tue, 11 Jan 2011 19:45:25 +0000 (11 19:45 +0000)
committerArgiris Kirtzidis <akyrtzi@gmail.com>
Tue, 11 Jan 2011 19:45:25 +0000 (11 19:45 +0000)
tree66d1954b21e8dc35c44447aace328af617016a7c
parent93879f68e72f238fd036a1fad99b01f1557416f1
[analyzer] Introduce ObjCSelfInitChecker, which checks initialization methods to verify that they assign 'self' to the
result of an initialization call (e.g. [super init], or [self initWith..]) before using any instance variable or
returning 'self'.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123264 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/CMakeLists.txt
lib/StaticAnalyzer/Checkers/ExprEngine.cpp
lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h
lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp [new file with mode: 0644]
test/Analysis/retain-release.m
test/Analysis/self-init.m [new file with mode: 0644]