UninitializedVals and UnknownVals.

llvm-svn: 47288

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

llvm-svn: 47030

Added transfer function support for CharacterLiteral.

llvm-svn: 47014

factories.

Fixed a horrible bug in lval:DeclVar::classof(RValue* V); we weren't checking
V was an LValue, allowing nonlval::ConcereteInts to match isa<lval::DeclVar>.

llvm-svn: 46976

bindings for block-level expressions.

Moved pretty-printing logic (DOT) for ValueStates to ValueState.cpp.

llvm-svn: 46965

llvm-svn: 46892

Expr* instead of a Stmt*, since we only
store bindings for Expr*.

llvm-svn: 46891

GRConstants logic to ValueStateManager.

llvm-svn: 46888

llvm-svn: 46875

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

using the bump-pointer allocator and a placed new; we accidentally allocated
a ValueStateImpl* instead, causing an overrun when we did a placed new().

llvm-svn: 46793

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

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

llvm-svn: 46758

structure that can contain several maps, not just one.

llvm-svn: 46744

__builtin_choose.

llvm-svn: 46731

llvm-svn: 46722