[analyzer] Introduce ExprEngine::VisitObjCMessage for handling general ObjCMessages (both message expressions and property access)
and use it in ExprEngine::VisitObjCMessageExpr.

llvm-svn: 124160

[analyzer] Introduce ObjCMessage which represents both explicit ObjC message expressions and implicit
messages that are sent for handling properties in dot syntax.

Replace all direct uses of ObjCMessageExpr in the checkers and checker interface with ObjCMessage.

llvm-svn: 124159

[analyzer] Simplify GetReceiverType function in BasicObjCFoundationChecks.cpp; no functionality change.

llvm-svn: 124157

llvm-svn: 124093

and methods defined within 'namespace X { ... }'.

llvm-svn: 123921

thousand other things which were (generally inadvertantly) relying on that.

llvm-svn: 123814

-Wint-to-pointer-cast.

llvm-svn: 123719

Joerg Sonnenberger!

llvm-svn: 123669

that captures the substitution of a non-type template argument pack
for a non-type template parameter pack within a pack expansion that
cannot be fully expanded. This follows the approach taken by
SubstTemplateTypeParmPackType.

llvm-svn: 123506

Found by clang static analyzer.

llvm-svn: 123485

llvm-svn: 123460

llvm-svn: 123459

the case where the called function has fewer
formal arguments than actual arguments.  This
fixes a crash in the analyzer when doing
function call inlining.

Patch by Zhenbo Xu!

llvm-svn: 123458

llvm-svn: 123395

dead stores within nested assignments.  I have
never seen an actual bug found by this specific
warning, and it can lead to many false positives.

llvm-svn: 123394

getting the base region. This makes the RemoveDeadBindings() correct.

llvm-svn: 123375

since the bindings are purged after they are set up. Need to investigate
RemoveDeadBindings algorithm.

llvm-svn: 123374

a struct value to a symbolic index into array.
RegionStore can't actually reason about this,
so we were getting bogus warnings about loading
uninitialized values from the array.  The solution
is invalidate the entire array when we cannot
represent the binding explicitly.

Fixes <rdar://problem/8848957>

llvm-svn: 123368

and 'getBasePredecessor()' to 'getPredecessor()'.

Also remove a unneeded save-and-restore of
node builder's tag field.

llvm-svn: 123363

node builder's 'HasGeneratedNode' field.

llvm-svn: 123362

the node builder's "tag" ivar (which we would
like to remove).

llvm-svn: 123361

llvm-svn: 123313

[analyzer] Introduce ObjCSelfInitChecker, which checks initialization methods to verify that they assign 'self' to the
result of an initialization call (e.g. [super init], or [self initWith..]) before using any instance variable or
returning 'self'.

llvm-svn: 123264

llvm-svn: 123263

[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently distinguish between loads/stores.

llvm-svn: 123261

llvm-svn: 123240

llvm-svn: 123228

to use a node builder.  This paves the way
for Checkers to interpose (via a "visit" method)
at the entrance to blocks.

llvm-svn: 123217

that just forwarded to ento::SubEngine.

llvm-svn: 123216

with lowercase letter.

llvm-svn: 123212

with a lower-case letter.  No functionality change.

llvm-svn: 123211

llvm-svn: 123208

llvm-svn: 123167

llvm-svn: 123166

llvm-svn: 123162

llvm-svn: 123160

llvm-svn: 123158

are all prefixes.

llvm-svn: 123156

more accurate, and makes it make sense for it to hold a delegating constructor
call.

llvm-svn: 123084

llvm-svn: 122818