when determining if it returns.  Fixes <rdar://problem/7796563>.

llvm-svn: 99663

Instead of setting the ReturnExpr GDM to NULL, remove it.

llvm-svn: 99470

llvm-svn: 99442

llvm-svn: 99441

llvm-svn: 99271

llvm-svn: 99269

llvm-svn: 99268

plate code for evaluating expressions of C++ class type.

llvm-svn: 99267

llvm-svn: 99259

change the block counter map from unsigned -> unsigned to 
<StackFrameContext*, unsigned> -> unsigned.

llvm-svn: 99255

a null dereference results from a field access.

llvm-svn: 99236

uninitialized value is used in the LHS of a compound assignment.

llvm-svn: 99221

llvm-svn: 99191

llvm-svn: 99114

llvm-svn: 99064

This avoids redundant diagnostics.

llvm-svn: 99063

expression", statistical evidence indicates it has some kind of memory error.

llvm-svn: 99040

is not evaluated because the receiver is nil.

llvm-svn: 99024

for both CallExprs and ObjCMessageExprs.

llvm-svn: 98800

uninitialized data.

llvm-svn: 98796

a scalar variable with a scalar parameter.  This is a
form of defensive programming.  If the variable is unused,
it will be caused by -Wunused-variable.

llvm-svn: 98795

their bindings are not removed.

llvm-svn: 98705

since RemoveDeadBinding mistakenly remove the binding to CXXThisRegion. 

llvm-svn: 98629

Tested: make CPPFLAGS=-m64 CXXFLAGS=-m64 -j8 && (cd tools/clang;make test)
llvm-svn: 98399

llvm-svn: 98176

llvm-svn: 98175

llvm-svn: 98161

llvm-svn: 98160

Really apply (unnoticed weird git-svn merge conflict in 98144): Refactor RegionStore::RemoveDeadBindings to use the same core cluster analysis algorithm as RegionStore::InvalidateRegions().

Beyond simplifying the algorithm significantly, we no longer
need to build subregion maps in RemoveDeadBindings().  This
and other changes cause a significant speedup: the time to
analyze sqlite3.c (single core) drops by 14%.

llvm-svn: 98159

cluster analysis algorithm as RegionStore::InvalidateRegions().

Beyond simplifying the algorithm significantly, we no longer
need to build subregion maps in RemoveDeadBindings().  This
and other changes cause a significant speedup: the time to
analyze sqlite3.c (single core) drops by 14%.

llvm-svn: 98144

into a 'ClusterAnalysis' parent class.  The idea is
to potentially reuse this for reworking RemoveDeadBindings.

llvm-svn: 98143

llvm-svn: 98136

with an 'unknown' memory space.

llvm-svn: 98110

of the class name.

llvm-svn: 97943

llvm-svn: 97941

information in ExplodedNode.

llvm-svn: 97785

we now may have identical states with different analysis context.

Set the right AnalysisContext in state when entering and leaving a callee.

With both of the above changes, we can pass the test case.

llvm-svn: 97724

After discussion with Zhongxing, don't force the initializer of DeclStmts to be
block-level expressions.

This led to some interesting fallout:

[UninitializedValues]

Always visit the initializer of DeclStmts (do not assume they are block-level expressions).

[BasicStore]

With initializers of DeclStmts no longer block-level expressions, this causes self-referencing initializers (e.g. 'int x = x') to no longer cause the initialized variable to be live before the DeclStmt.  While this is correct, it caused BasicStore::RemoveDeadBindings() to prune off the values of these variables from the initial store (where they are set to uninitialized).  The fix is to back-port some (and only some) of the lazy-binding logic from RegionStore to
BasicStore.  Now the default values of local variables are determined lazily as opposed
to explicitly initialized.

llvm-svn: 97591

llvm-svn: 97590

no need to store a type with SymbolRegionValue.

llvm-svn: 97437