of the LHS expressions is Unknown, the value of the entire expression
does not evaluate to the RHS (as is the case with normal assignments).

llvm-svn: 48102

we weren't processing a statement within a basic block.

llvm-svn: 48087

Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions).

llvm-svn: 48079

llvm-svn: 48037

that are not related to error nodes.

Fixed bug where we did not detect some NULL dereferences.

Added "ExplodedGraph::Trim" to trim all nodes that cannot transitively reach
a set of provided nodes.

Fixed subtle bug in ExplodedNodeImpl where we could create predecessor
iterators that included the mangled "sink" bit.  The better fix is to integrate
this bit into the void* for the wrapped State, not the NodeGroups representing
a node's predecessors and successors.

llvm-svn: 48036

information.

llvm-svn: 48031

llvm-svn: 48025

divide-by-zero errors.

llvm-svn: 48013

llvm-svn: 47995

Reported by Zhongxing Xu!

llvm-svn: 47991

llvm-svn: 47982

llvm-svn: 47971

llvm-svn: 47970

llvm-svn: 47964

llvm-svn: 47958

ExplodedNode that would occasionally result in heap corruption.

llvm-svn: 47956

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

llvm-svn: 47894

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

be incorrectly merged together.

llvm-svn: 47851

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

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

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

llvm-svn: 47714

llvm-svn: 47713

llvm-svn: 47691

llvm-svn: 47690

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

llvm-svn: 47683

llvm-svn: 47678