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

llvm-svn: 47560

llvm-svn: 47553

llvm-svn: 47551

symbolic store: VarDecl's inserted into the sweep may not always bind to
anything; handle this special case just like bindings to uninitialized values.

llvm-svn: 47550

"remainder-by-zero" checking (operator '%').

llvm-svn: 47549

wrapping an EnumConstantDecl evaluates to an integer type that has a different
signedness than the APSInt stored in the EnumConstantDecl. Will file a Bugzilla
report.

llvm-svn: 47548

llvm-svn: 47547

llvm-svn: 47543

llvm-svn: 47540

llvm-svn: 47539