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.

llvm-svn: 90296
6 files changed
tree: 7c17ed8392b9f9492c1d5ac867a205276b568426
  1. clang/
  2. compiler-rt/
  3. llvm/