clang namespace.

llvm-svn: 47136

Still some cleanup to do, but this initial checkin compiles and runs correctly.

llvm-svn: 47135

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

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