]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e788365) | patch
[analyzer] Do not propagate the [super init] could be nil assumption
authorAnna Zaks <ganna@apple.com>
Thu, 30 Aug 2012 19:40:52 +0000 (19:40 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 30 Aug 2012 19:40:52 +0000 (19:40 +0000)
commit05fcbd3dc28f4cba4a6d33e7aeaabb5f6f7837e3
treef6a9ec3b6f4134b149b2c9bbdd5302a0c5a77461tree | snapshot
parente788365f513a579b03ff7f49296d5b95645ea3fecommit | diff
[analyzer] Do not propagate the [super init] could be nil assumption
from callee to caller.

radar://12109638

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162935 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h diff | blob | history
lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp diff | blob | history
test/Analysis/inlining/assume-super-init-does-not-return-nil.m [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.