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

BugReporter.

llvm-svn: 79327

which allows custom checks to register callback creator functions for creating
BugReporterVisitor objects. This allows various checks to include diagnostics
such as 'assuming value is null' with little extra work. Eventually this API
should be refactored to be cleaner and more simple.

llvm-svn: 79302

of GRStateManager and GRExprEngine, pass the initial location context
to the getInitialState() method.

llvm-svn: 79228

which is either a stack frame context of the function or a local scope 
context.

llvm-svn: 79072

llvm-svn: 78409

llvm-svn: 78407

with array accesses. In the process, refactor some common logic in
RetrieveElement() and RetrieveField() into RetrieveFieldOrElementCommon().

llvm-svn: 78349

involving reasoning about unions (which we don't handle yet).

llvm-svn: 78342

llvm-svn: 78305

Some Builders need further cleanup.

llvm-svn: 78301

merge GRCoreEngineImpl and GRCoreEngine.

Introduce a new interface class GRSubEngine as the subengine of GRCoreEngine.
GRExprEngine subclasses GRSubEngine now.

llvm-svn: 78298

  merge ExplodedGraphImpl and ExplodedGraph.

llvm-svn: 78291

llvm-svn: 78285

llvm-svn: 78284

llvm-svn: 78280

already been uniqued.

llvm-svn: 78279

llvm-svn: 78273

and their impl base classes. This can greatly simply some code of the core 
analysis engine. This patch merges ExplodedNodeImpl into ExplodedNode.

llvm-svn: 78270

RegionStore already lazily abstracted the contents of arrays and structs, when
doing an assignment from one array/struct to another we did an explicit
element-wise copy, which resulted in a loss of laziness and huge performance
problem when analyzing many code bases.

Now RegionStoreManager handles such assignments using a new SVal could
'LazyCompoundSVal', which basically means the value of a given struct or array
(a MemRegion*) in a specific state (GRState). When we do a load from a field
whose encompassing struct binds to a LazyCompoundSVal, we essentially do a field
lookup in the original structure. This means we have essentially zero copying of
data for structs/arrays and everything stays lazy.

llvm-svn: 78268

llvm-svn: 78230

region to the worklist used to create the subregion map.

llvm-svn: 78228

Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map.

llvm-svn: 78162

constant value. If the UnaryOperator has location type, create the
constant with int type and pointer width.

This fixes the bug that all pointer increments 'p++' evaluated to Unknown.

llvm-svn: 78147

llvm-svn: 78000

llvm-svn: 77961