Patch by David Chisnall!

llvm-svn: 52586

llvm-svn: 52581

Patch by David Chisnall with objc rewriter and stmtdumper updates from me.

llvm-svn: 52580

since handling this correctly is quite complex, and on some platforms  
requires additional -D options and on some implies linking against a  
different libc, but this works better than just ignoring the option.

The other change passes the -x option across to clang, which allows  
compiling .c files as Objective-C and so on.  For some reason a lot of  
configure scripts seem to be under the misguided impression that this  
is a sensible thing to do."

Patch by David Chisnall!

llvm-svn: 52579

llvm-svn: 52578

llvm-svn: 52575

llvm-svn: 52569

llvm-svn: 52568

When using the dead-stores checker with the BugReporter class, properly capture the diagnostic associated with a specific warning and emit it.

llvm-svn: 52565

llvm-svn: 52563

llvm-svn: 52560

llvm-svn: 52559

llvm-svn: 52556

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