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
Showing
- include/clang/Analysis/PathSensitive/Checker.h 14 additions, 15 deletionsinclude/clang/Analysis/PathSensitive/Checker.h
- include/clang/Analysis/PathSensitive/GRExprEngine.h 9 additions, 3 deletionsinclude/clang/Analysis/PathSensitive/GRExprEngine.h
- include/clang/Analysis/PathSensitive/GRTransferFuncs.h 2 additions, 1 deletioninclude/clang/Analysis/PathSensitive/GRTransferFuncs.h
- lib/Analysis/CFRefCount.cpp 9 additions, 22 deletionslib/Analysis/CFRefCount.cpp
- lib/Analysis/CallAndMessageChecker.cpp 6 additions, 21 deletionslib/Analysis/CallAndMessageChecker.cpp
- lib/Analysis/GRExprEngine.cpp 58 additions, 40 deletionslib/Analysis/GRExprEngine.cpp
Loading
Please register or sign in to comment