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

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

llvm-svn: 122543

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