space within the MemberExpr for the nested-name-specifier and its
source range. We'll do the same thing with explicitly-specified
template arguments, assuming I don't flip-flop again.

llvm-svn: 80642

also be adding explicit template arguments as an additional
"adornment". No functionality change.

llvm-svn: 80628

llvm-svn: 80417

objects that are not automatically garbage collected. This fixes
<rdar://problem/7174400>.

llvm-svn: 80387

pointers.  Most logic cares first about whether or not a region is
symbolic, and second if represents code.  This should fix a series of
silent corner case bugs (as well as simplify a bunch of code).

llvm-svn: 80335

llvm-svn: 80320

                                    Were Dropped Successfully

Patch by Geoff Keating!

llvm-svn: 80313

of its subexpressions resulted in a "bad CFG".

llvm-svn: 80298

llvm-svn: 80294

llvm-svn: 80293

llvm-svn: 80226

Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, greatly simplifying the logic of the analyzer in many places.  We now only distinguish between block-level expressions and subexpressions in Environment::RemoveDeadBindings and GRState pretty-printing.

llvm-svn: 80194

name, e.g.,
  
  x->Base::f()

retain the qualifier (and its source range information) in a new
subclass of MemberExpr called CXXQualifiedMemberExpr. Provide
construction, transformation, profiling, printing, etc., for this new
expression type.

When a virtual function is called via a qualified name, don't emit a
virtual call. Instead, call that function directly. Mike, could you
add a CodeGen test for this, too?

llvm-svn: 80167

Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays.  RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager.  This fixes PR 4781.

llvm-svn: 80051

when using the non-fragile Objective-C ABI.  This fixes <rdar://problem/7168531>.

llvm-svn: 80047

implicit cast logic in RegionStoreManager to BasicStoreManager. This involved
moving CastRetriedVal from RegionStoreManager to StoreManager.

llvm-svn: 80026

llvm-svn: 80018

Now AnalysisManager is the only place we can get CodeDecl.
This leads to an API change: GRState::bindExpr() now takes the CFG argument.

llvm-svn: 79980

llvm-svn: 79973

the condition. This eliminates a source of bugs where the client doesn't
correctly reason about undefined or unknown values. This fixes PR 4759.

llvm-svn: 79952

llvm-svn: 79941

llvm-svn: 79854

llvm-svn: 79824

AnalysisContext should never change. Along the way, propagate some constness
around.

llvm-svn: 79701

llvm-svn: 79700

SelfRegion represented the object bound to 'self' (when analyzing Objective-C
methods) upon entry to a method. Having this region stored on the side ignores
the current stack frame that we might be analyzing (among other things), and is
a problem for interprocedural analysis.

For RegionStoreManager, the value for SelfRegion is just lazily created.

For BasicStoreManager, the value for SelfRegion is bound eagerly to 'self', but
no explicit tracking of SelfRegion on the side is made.

As part of this change, remove the restriction in BasicStoreManager that we only
track ivars for 'self'. This shouldn't actually change anything in terms of
precision, and simplifies the logic.

llvm-svn: 79694

llvm-svn: 79680

GRStateManager to create the SelfRegion.

llvm-svn: 79628

llvm-svn: 79591

llvm-svn: 79590

to untie the ExplodedGraph from a specific Decl.

llvm-svn: 79588

A field rename and more comments.

llvm-svn: 79537

just as if it behaved like an init function.  This fixes <rdar://problem/7129086>.

llvm-svn: 79515

Although this does not make the CFG more correct, it makes the CFG more 
beautiful without multiple roots.

llvm-svn: 79509

Otherwise we get a wrong CFG.

llvm-svn: 79507

llvm-svn: 79502

fixing <rdar://problem/7152619>. Along the way, merge test cases in
'test/Analysis/rdar-6539791.c' into 'test/Analysis/retain-release.m'.

llvm-svn: 79499

and other core analysis logic will be untied to a particular Decl.

llvm-svn: 79420

Removed an unnecessary loop to get to setters incoming
argument. Added DoxyGen comments. Still more work
to do in this area (WIP).

llvm-svn: 79365

llvm-svn: 79328