llvm-svn: 47964

llvm-svn: 47955

llvm-svn: 47954

GRStmtNodeBuilder and is now responsible for adding its own nodes to the graph.

llvm-svn: 47923

allow us to pass the builder to plug-in transfer functions and allow those
functions to create intermediate nodes.

llvm-svn: 47919

llvm-svn: 47912

passed-by-reference to builtin functions until we have better builtin support.

llvm-svn: 47910

structs (local variables) to Unknown instead of Undefined.  (added FIXME to initialize *members* of struct to undefined)

llvm-svn: 47901

variables that are pointers or integers.

llvm-svn: 47880

to bifurcate at the wrong places and not propagate at others.

llvm-svn: 47876

llvm-svn: 47873

llvm-svn: 47842

as arguments.

llvm-svn: 47778

or otherwise a constant integer value that doesn't evaluate to an address.

llvm-svn: 47774

"Refinement" of hack to bound loop-traversals: visit any block at a maximum of 3 times along a given path.

llvm-svn: 47766

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

llvm-svn: 47726

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

llvm-svn: 47714

llvm-svn: 47713

llvm-svn: 47690

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

llvm-svn: 47683

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

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

llvm-svn: 47645

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

llvm-svn: 47636

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

llvm-svn: 47626

llvm-svn: 47620

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: 47590

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

llvm-svn: 47586

llvm-svn: 47578

llvm-svn: 47562

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

llvm-svn: 47549

llvm-svn: 47547

assumption logic for lval::DeclVal.

llvm-svn: 47466

against '0' of the same bit-width.

llvm-svn: 47465

about.  The default logic is to invalidate the values of all values
passed-by-reference.

llvm-svn: 47456