1) Check if a dead store appears as a subexpression.  For such cases, we emit
   a verbose diagnostic so that users aren't confused.  This addresses:
   
   <rdar://problem/5968508> checker gives misleading report for dead store in loop
   
2) Don't emit a dead store warning when assigning a null value to a pointer.
   This is a common form of defensive programming.  We may wish to make
   this an option to the the checker one day.
   
   This addresses the feature request in the following email:
   
   http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-June/001978.html

llvm-svn: 52555

llvm-svn: 52553

Added "Decl::getCodyBody()", a virtual method that returns the root AST node (Stmt*) that the Decl wraps (if any).  Currently this only returns a non-null value for FunctionDecl and ObjCMethodDecl.

llvm-svn: 52552

llvm-svn: 52512

llvm-svn: 52511

llvm-svn: 52507

Remove an extra space at the end of a line.

llvm-svn: 52504

I choose to remove extraneous whitespace at end of lines as a semantic
nop for the test.

llvm-svn: 52503

have complex RValues yet, so this logic is only fully implemented when __imag__
and __real__ are used on non-complex types.

llvm-svn: 52501

llvm-svn: 52446

Added a new ProgramPoint: PostPurgeDeadSymbols.  This new program point distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad).  This solves a caching bug observed in a recent bug report.

llvm-svn: 52443

llvm-svn: 52429

llvm-svn: 52426

Patch by David Chisnall!

llvm-svn: 52422

Patch by Filipe Cabecinhas

llvm-svn: 52417

llvm-svn: 52403

llvm-svn: 52402

llvm-svn: 52400

llvm-svn: 52399

llvm-svn: 52398

llvm-svn: 52389

llvm-svn: 52388

llvm-svn: 52387

Split static analysis page into two pages: a high-level information page (with quick download links) and a usage page.

llvm-svn: 52386

Color <h3> light blue, <h2> a dark grey.

llvm-svn: 52385

llvm-svn: 52384

which made it work.

llvm-svn: 52382

Fix indentation of class declarations in ExprCXX.h

llvm-svn: 52380

llvm-svn: 52379

clang as a Release build.

The big change is that all AST nodes (subclasses of Stmt) whose children are
Expr* store their children as Stmt* or arrays of Stmt*. This is to remove
strict-aliasing warnings when using StmtIterator. None of the interfaces of any
of the classes have changed (except those with arg_iterators, see below), as the
accessor methods introduce the needed casts (via cast<>). While this extra
casting may seem cumbersome, it actually adds some important sanity checks
throughout the codebase, as clients using StmtIterator can potentially overwrite
children that are expected to be Expr* with Stmt* (that aren't Expr*). The casts
provide extra sanity checks that are operational in debug builds to catch
invariant violations such as these.

For classes that have arg_iterators (e.g., CallExpr), the definition of
arg_iterator has been replaced. Instead of it being Expr**, it is an actual
class (called ExprIterator) that wraps a Stmt**, and provides the necessary
operators for iteration. The nice thing about this class is that it also uses
cast<> to type-checking, which introduces extra sanity checks throughout the
codebase that are useful for debugging.

A few of the CodeGen functions that use arg_iterator (especially from
OverloadExpr) have been modified to take begin and end iterators instead of a
base Expr** and the number of arguments. This matches more with the abstraction
of iteration. This still needs to be cleaned up a little bit, as clients expect
that ExprIterator is a RandomAccessIterator (which we may or may not wish to
allow for efficiency of representation).

This is a fairly large patch. It passes the tests (except CodeGen/bitfield.c,
which was already broken) on both a Debug and Release build, but it should
obviously be reviewed.

llvm-svn: 52378

llvm-svn: 52376

llvm-svn: 52375

Add color diagnostics from scan-build, and indicate the number of bugs found (if any).

llvm-svn: 52372

llvm-svn: 52370

llvm-svn: 52367

llvm-svn: 52366

llvm-svn: 52362

llvm-svn: 52359

Move NSString.m test case from Analysis-Apple to Analysis.  The test case now works on all platforms.

llvm-svn: 52354

llvm-svn: 52349