Added more boilerplate transfer function support for pointer arithmetic.
Added more pretty-printing support for symbolic constraints.
Added transfer function support for handling enum values.
Minor pointer types cleanup in ExplodedGraphImpl.

llvm-svn: 47183

referenced by an RValue, instead of having to query the type of the RValue.

Modified ValueState::RemoveDeadBindings to also prune dead symbols.

llvm-svn: 47142

from RValues to GRTransferFuncs/GRSimpleVals.

llvm-svn: 47131

llvm-svn: 47126

these operations) into GRTransferFuncs and its subclasses.  Originally all
of this logic was handled by the class RValue, but in reality different
analyses will want more flexibility on how they evaluate different values.

Transfer functions migrated so far: "Cast"

llvm-svn: 47125

llvm-svn: 47123

llvm-svn: 47030

ConcreteInts.

llvm-svn: 46883

llvm-svn: 46875

Renamed UninitializedValue to UninitializedVal.

llvm-svn: 46874

Minor cleanups with generating nodes for NULL-pointer dereferences.

llvm-svn: 46851

llvm-svn: 46843

llvm-svn: 46840

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

nonlval::SymIntConstraintVal.

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

llvm-svn: 46778

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

llvm-svn: 46708

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

llvm-svn: 46630

Moved ValueKey/ValueMap declaration to ValueState.h.

llvm-svn: 46618