Removed lval::SymIntConstraintVal; wrappers for symbolic constraints are not lvalues (only integers that evaluate to !0 or 0).

llvm-svn: 46796

symbols (for constant integers).

llvm-svn: 46795

This action will add constraints to the possible values of a symbol.
Still needs to be debugged.

llvm-svn: 46789

This noticeably cleans up the naming of these classes.

llvm-svn: 46770

for buffers for RValues and States.

llvm-svn: 46759

llvm-svn: 46755

structure that can contain several maps, not just one.

llvm-svn: 46744

llvm-svn: 46740

llvm-svn: 46732

__builtin_choose.

llvm-svn: 46731

created for GRConstants.  Moved instances of ValueManager and SymbolManager
inside this class.  The goal is to gradually separate more of the state
management from the state transformation.

llvm-svn: 46721

llvm-svn: 46708

Implemented '==' and '!=' for ConcreteIntLValue.

llvm-svn: 46630

Moved ValueKey/ValueMap declaration to ValueState.h.

llvm-svn: 46618

llvm-svn: 46604

(local) aliasing support.

Modified ExplodedGraph pretty-printer (for GRConstants) to also print out the
pointer value of the state associated with a node.  This way one can easily
see that two states are identical.

llvm-svn: 46595

Improved pretty-printing of LValues.
Parameters whose values are pointers/references are now assigned SymbolicLValues.

llvm-svn: 46584

worklist until the dstor of GRBranchNodeBuilderImpl. This way clients can mark
creates nodes as "sinks" before they are added to the worklist.

llvm-svn: 46582

constant integers.

llvm-svn: 46581

more cleanups with pretty-printing of analysis results.

llvm-svn: 46564

we automatically generate a new successor node along an edge if the checker
did not explicitly do so (i.e., we just propagate the current state).

llvm-svn: 46536

llvm-svn: 46532

llvm-svn: 46531

have been 'true'.

llvm-svn: 46530

Made some internal API cleanups with creating ConcreteInt values, which lead to
some code reduction in implementing "++", "--".

llvm-svn: 46528

for analyzing a function.

The initial state for GRConstants now assigns symbolic values to parameters.

llvm-svn: 46517

state.

llvm-svn: 46491

and now we require a FunctionDecl* object so that we can also keep track of
all of the ParmDecls.

Modified clients of LiveVariables to conform to the new interface.

llvm-svn: 46490

llvm-svn: 46477

Refactoring: for GREngine and GRConstants, pushed references to CFG, ASTContext,
and the top-level FunctionDecl into ExplodedGraphImpl.

llvm-svn: 46475

llvm-svn: 46471

llvm-svn: 46470

llvm-svn: 46468

now SymbolicNonLValue.

Cleaned up some casts.

llvm-svn: 46467

Renamed ExprValue to RValue, as all expression values are RValues, and this
keeps with the C terminology (renamed old "RValue" class to "NonLValue").

Introduced "ConcreteInt", a class that represents a concrete, integer
constant as an RValue.

Temporarily removed classes to represent set of possible constants and set of !=
constants. Will replace with a more general class representing a set of
constraints.

Added some foundational code to track "symbolic" values, which are used to
accrue constraints on an abstract value that is shared between multiple
variables.  e.g:

   x = y;      // at this point "x" and "y" share the same "value"
   if (x > 1) 
     ...       // at this point, the value shared by "x" and "y" is "> 1".

llvm-svn: 46466

llvm-svn: 46379

a template-template parameter.

llvm-svn: 46378

Renamed RValueConjunctiveUnequal to RValInequalityANDSet.

Refactored add/subtract/multiple (and now divide) operations for
RValEqualityORSet to be based on a single template function.

llvm-svn: 46374

llvm-svn: 46370

llvm-svn: 46368