[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

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

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

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

llvm-svn: 123374

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

[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

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

with lowercase letter.

llvm-svn: 123212

with a lower-case letter.  No functionality change.

llvm-svn: 123211

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

template argument (described by an expression, of course). For
example:

  template<int...> struct int_tuple { };

  template<int ...Values>
  struct square {
    typedef int_tuple<(Values*Values)...> type;
  };

It also lays the foundation for pack expansions in an initializer-list.
  

llvm-svn: 122751

Patch by arrowdodger!

llvm-svn: 122747

SimpleSValBuilder.  This clears up some
false positives emitted by ArrayBoundCheckerV2
due to the lack of support for pointer arithmetic.

llvm-svn: 122546

layout.  :)

Rename the 'EntoSA' directories to 'StaticAnalyzer'.

Internally we will still use the 'ento' namespace
for the analyzer engine (unless there are further
sabre rattlings...).

llvm-svn: 122514