llvm-svn: 48025

llvm-svn: 47995

llvm-svn: 47954

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

llvm-svn: 47726

llvm-svn: 47713

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

llvm-svn: 47586

based on constant. prop. and limited symbolics.

- Renamed class: RValue -> RVal, LValue -> LVal, etc.
- Minor method renamings and interface cleanups.
- Tightened the RVal "type system" so that UninitializedVal and UnknownVal
  cannot be cast to LVal or NonLVal.  This forces these corner cases values
  to be explicitly handled early before being dispatched to plug-in transfer
  function logic.
- Major cleanup in the transfer function logic for binary and unary operators.
  Still fixing some regressions, but we now explicitly handle Uninitialized
  and Unknown values in a more rigorous way.

llvm-svn: 47441

llvm-svn: 47357

the same time clearing up some logic of how the unary '*' operator is processed.

llvm-svn: 47356

llvm-svn: 47298

their own [.cpp;.h] files.

llvm-svn: 47201

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