[analyzer] Fix a self-init checker false positive.
authorAnna Zaks <ganna@apple.com>
Thu, 13 Dec 2012 00:42:19 +0000 (00:42 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 13 Dec 2012 00:42:19 +0000 (00:42 +0000)
commit3f12949b256bbdbaad89fee9671d1236e99ea1d1
tree16833c9ae7ce4ccc527d15d8ad1533f7c9f85f9c
parentb487388be1f45cfea1e24be8e35c485b20e47045
[analyzer] Fix a self-init checker false positive.

This is a Band-Aid fix to a false positive, where we complain about not
initializing self to [super init], where self is not coming from the
init method, but is coming from the caller to init.

The proper solution would be to associate the self and it's state with
the enclosing init.

llvm-svn: 170059
clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp
clang/test/Analysis/self-init.m