]> granicus.if.org Git - clang/commit
Hard bifurcate the state into nil receiver and non-nil receiver, so that
authorZhongxing Xu <xuzhongxing@gmail.com>
Wed, 2 Dec 2009 05:49:12 +0000 (05:49 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Wed, 2 Dec 2009 05:49:12 +0000 (05:49 +0000)
commita46e4d91d8f3eb341f2387768db66dcfe8dd0afa
tree236a814357d8c8162ff8195205ed26fca8113af0
parent7dea1f916e835cec4382c66712e9f1b70749f2a1
Hard bifurcate the state into nil receiver and non-nil receiver, so that
we don't need to use the DoneEvaluation hack when check for
ObjCMessageExpr.

PreVisitObjCMessageExpr() only checks for undefined receiver or arguments.

Add checker interface EvalNilReceiver(). This is a 'once-and-done' interface.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90296 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/Checker.h
include/clang/Analysis/PathSensitive/GRExprEngine.h
include/clang/Analysis/PathSensitive/GRTransferFuncs.h
lib/Analysis/CFRefCount.cpp
lib/Analysis/CallAndMessageChecker.cpp
lib/Analysis/GRExprEngine.cpp