GRState::getSVal(MemRegion*) => Load().

llvm-svn: 95541

llvm-svn: 95540

alloca region.

llvm-svn: 95539

It's more sophisticated than the original one of BasicStore. But it does
matter. 

llvm-svn: 95536

llvm-svn: 95535

llvm-svn: 95534

llvm-svn: 95531

llvm-svn: 95529

Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL.

llvm-svn: 95479

Fix regression in RegionStore (from BasicStore) where static variables were not treated as being implicitly initialized to 0 (and instead were getting symbolicated).

llvm-svn: 95478

llvm-svn: 95459

llvm-svn: 95365

llvm-svn: 95364

llvm-svn: 95362

llvm-svn: 95360

llvm-svn: 95357

spread GRState* everywhere.

llvm-svn: 95354

llvm-svn: 95290

llvm-svn: 95287

llvm-svn: 95286

llvm-svn: 95279

a different return type.  While we don't emit any errors (yet), at
least we avoid cases where we might crash because of an assertion
failure later on (when the return type differs from what is expected).

llvm-svn: 95268

llvm-svn: 95215

llvm-svn: 95214

RegionStoreManager::InvalidateRegions() by adjusting the worklist to
iterate over BindingKeys instead of MemRegions.  We also only need to
do the actual invalidation work on base regions, and for non-base
regions just blow away their bindings.

llvm-svn: 95200

not build a subregion map and instead do a single scan of the store.
This is done by building "region clusters" that represent the
collection of regions that have the same base region.  Invalidating
any region in a cluster means that they all should get invalidated.

This change brought out a point that Zhongxing mentioned to me
offline: the flattened memory binding has issues distinguishing
between direct and default bindings.  For example, setting the default
value for an entire struct is the same as binding to the first
element.  To address this problem, I moved the binding "tag" (Direct
or Default) from BindingVal to BdingKey (and removed BindingVal
entirely).  This requires us to do double lookups in some cases; and
there is still much more cleanup that can be done.

This change produced a noticeable speedup when analyzing sqlite3 (a
reduction of 4% in running time).

llvm-svn: 95193

Remove RegionStoreSubRegionMap::iterator and RegionStoreSubRegionMap::begin_end().  This is a precursor to using DenseSet to represent region sets instead of ImmutableSet.

llvm-svn: 95151

llvm-svn: 95128

'Pred' to 'Dst' for cases we currently don't handle.  This fixes
<rdar://problem/7593875>.

llvm-svn: 95048

Hoist diagnostic generation in ReturnStackAddressChecker into a separate method.  No functionality change.

llvm-svn: 95037

llvm-svn: 94682

llvm-svn: 94678

llvm-svn: 94677

llvm-svn: 94665

llvm-svn: 94663

reusable and modular API pieces.

Start by pulling the logic for deriving the Cocoa naming convention
into a separate API, header, and source file.

llvm-svn: 94662

Teach RegionStore to handle initialization of incomplete arrays in structures using a compound value.  Fixes <rdar://problem/7515938>.

llvm-svn: 94622

llvm-svn: 94609

llvm-svn: 94608

llvm-svn: 94428