llvm-svn: 47123

from switch...case...default statements.

llvm-svn: 47100

llvm-svn: 47076

llvm-svn: 47072

http://llvm.org/viewvc/llvm-project?rev=47070&view=rev

llvm-svn: 47071

Renamed class GRConstants => GRExprEngine.

This was done with a Perl script, and will result in 80 col. violations that
I will gradually fix up.

llvm-svn: 47070

llvm-svn: 47068

llvm-svn: 47064

llvm-svn: 47038

llvm-svn: 47034

llvm-svn: 47030

handling Non-Lvalues of the type nonlval::SymbolVal; we were accidentally
casting them to lval::SymbolVal.

llvm-svn: 47029

doesn't support VLAs.

Reordered some cases in the switch statement of GRConstant::Visit() so
that they are ordered alphabetically based on AST node type.

llvm-svn: 47021

Added transfer function support for CharacterLiteral.

llvm-svn: 47014

have been visited in a path.  Added GRBlockCounter as an item to be
enqueued to the worklist.

Modified "ProcessBranch" in GRConstants to prune branches with symbolic
conditions that have been already taken.

llvm-svn: 47010

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

in VarKey and VariableBindingsTy.

llvm-svn: 46887

ConcreteInts.

llvm-svn: 46883

Fixed bug in dispatching to the correct transfer function for |=, &=, and ^|.

llvm-svn: 46880

llvm-svn: 46875

Renamed UninitializedValue to UninitializedVal.

llvm-svn: 46874

Minor cleanups with generating nodes for NULL-pointer dereferences.

llvm-svn: 46851

Modified the driver to pass the Diagnostic object to GRConstants.

llvm-svn: 46847

llvm-svn: 46846

llvm-svn: 46843

llvm-svn: 46840

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

as the initializers for DeclStmts were not being registered as being
live at the start of the DeclStmt.

llvm-svn: 46837

Fixed insidious bug in handling dereferences.

llvm-svn: 46835

code structure is more suitable for additional symbolic analysis.

llvm-svn: 46831

llvm-svn: 46815

"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

llvm-svn: 46797

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

ValueState no longer inherits FoldingSetNode (not needed).
Removed redundant operator= implementation for ValueState (it simply did the default behavior).

llvm-svn: 46794