Renamed UninitializedValue to UninitializedVal.

llvm-svn: 46874

llvm-svn: 46843

Fixed bug in RemoveDeadBindings by implementing a simple "mark-and-sweep"
cleaner over the bindings, starting from the Decls and block-level expressions
that are considered "live" by the Liveness analysis.

Fixed bug in isa<> implementation for class LValue.

Added "VisitDeclRefExpr" to GRConstants so that we explicitly bind the current
value of variable to the Block-level Expression (i.e., when the DeclRefExpr is
at the CFGBlock level).

llvm-svn: 46839

Fixed insidious bug in handling dereferences.

llvm-svn: 46835

code structure is more suitable for additional symbolic analysis.

llvm-svn: 46831

"if(x)". On the true branch we know the value is != 0, and on the false branch
we know it is 0.

llvm-svn: 46814

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

llvm-svn: 46796

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

llvm-svn: 46789

nonlval::SymIntConstraintVal.

Reworked transfer function for '==' and '!=' for LValues to return
SymIntConstraintVal when comparing a symbol with a constant.

llvm-svn: 46778

llvm-svn: 46772

contraint between a symbol and an integer constant.

llvm-svn: 46771

This noticeably cleans up the naming of these classes.

llvm-svn: 46770

transfer function evaluation that represent constraints between symbolic values
and constant integers.

llvm-svn: 46769

for buffers for RValues and States.

llvm-svn: 46759

Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager).

llvm-svn: 46758

llvm-svn: 46740

llvm-svn: 46708

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

llvm-svn: 46630

llvm-svn: 46624

Moved ValueKey/ValueMap declaration to ValueState.h.

llvm-svn: 46618