llvm-svn: 47757

llvm-svn: 47754

llvm-svn: 47753

Cache the location of the error.  Don't emit the same
warning for the same error type that occurs at the same program
location but along a different path.
      

llvm-svn: 47727

This current implementation only works when both operands are concrete values; later we will add support for symbolic values.

llvm-svn: 47726

welcome.

llvm-svn: 47724

changed "very early" to "early" when talking about
the state of clang.

llvm-svn: 47718

Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*.

llvm-svn: 47714

llvm-svn: 47713

llvm-svn: 47693

llvm-svn: 47691

llvm-svn: 47690

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