diff options
| author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-01-11 19:45:25 +0000 |
|---|---|---|
| committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-01-11 19:45:25 +0000 |
| commit | d7a31ba6db617e38bb064df0ab09dbd41cdfed18 (patch) | |
| tree | 66d1954b21e8dc35c44447aace328af617016a7c /lib/StaticAnalyzer/Checkers/ExprEngine.cpp | |
| parent | 6547884b9c20096594bdc652669df82c322c5eb6 (diff) | |
[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
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/ExprEngine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp index f19f806423..e912273e1a 100644 --- a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp @@ -270,6 +270,7 @@ static void RegisterInternalChecks(ExprEngine &Eng) { RegisterUndefResultChecker(Eng); RegisterStackAddrLeakChecker(Eng); RegisterObjCAtSyncChecker(Eng); + registerObjCSelfInitChecker(Eng); // This is not a checker yet. RegisterNoReturnFunctionChecker(Eng); |