llvm-svn: 47689

variables as uninitialized, and only "initialize" static function variables.

llvm-svn: 47683

Disable internalize. Unfortunately, the configure scripts are not ready for some link time optimizations.

llvm-svn: 47682

Removed VarDecl::hasAutoStorage() (only used by hasLocalStorage())

Merged logic from VarDecl::hasAutoStorage() into VarDecl::hasLocalStorage(),
and expanded (fixed) the logic of hasLocalStorage() to handle Extern and PrivateExtern.

Renamed Expr::hasStaticStorage() to Expr::hasGlobalStorage().

llvm-svn: 47681

llvm-svn: 47678

properly back-patched.

llvm-svn: 47675

Fix regression in Applications/ClamAV/clamscan.

llvm-svn: 47673

successor of blocks created above it.

llvm-svn: 47666

In such cases, handle them just like Visit().

llvm-svn: 47665

globals/parameters at the beginning of the analysis.

llvm-svn: 47664

llvm-svn: 47661

ExplodedNode for the Callee subexpression we would not evaluate the CallExpr
transfer function.

llvm-svn: 47651

sometimes skip evaluating all the arguments when some arguments would not
create new ExplodedNodes.

llvm-svn: 47650

multiple basic blocks (which can happen when they contain '&&', '||', '?'). The
bug was that the loop backedge when to the last block in the loop condition, not
the first.

llvm-svn: 47649

llvm-svn: 47646

Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?.

llvm-svn: 47645

GRSimpleVals performs the following action: invalidate all values passed-by-reference.

llvm-svn: 47638

uninitialized) value. At this point we're just too imprecise.

llvm-svn: 47636

Before it was the negation of hasAutoStorage(), which is incorrect. 
"Register" storage for Decls do not indicate global variables.

llvm-svn: 47630

void g() {
  static char a[10];
  static char *b = a;
}

Now we can compile wget!

llvm-svn: 47627

Use custom diagnostics for static analysis checkers.  Added warnings
for dereferencing uninitialized values and divide-by-zeroes.

llvm-svn: 47626

in an EnumConstantDecl.  This was made possible because of a recent fix
in the parser:

http://llvm.org/viewvc/llvm-project?rev=47581&view=rev

llvm-svn: 47624

llvm-svn: 47620

llvm-svn: 47618

CharacterLiteral expressions.

llvm-svn: 47617

now store in the state essentially which branch we took.  This removes
a bunch of bogus assumptions (and likely bugs), reduces the complexity of
the implementation, and facilitates more optimizations.

llvm-svn: 47613

llvm-svn: 47609

llvm-svn: 47590

llvm-svn: 47588

Added recording of divide-by-zero and divide-by-uninitialized nodes.

llvm-svn: 47586

Patch by Mike Stump!

llvm-svn: 47582

sign of its type in the early exit case.  No testcase, because this
doesn't manifest as a failure.

llvm-svn: 47581

llvm-svn: 47580

This caused the whole body to get dropped from the CFG.

llvm-svn: 47579

llvm-svn: 47578

that aren't VarDecls.

llvm-svn: 47572

failures on OS X in some cases.  (Thank you valgrind.)

llvm-svn: 47568

bits VC++ right now.

llvm-svn: 47565

llvm-svn: 47564

llvm-svn: 47562