in an EnumConstantDecl.  This was made possible because of a recent fix
in the parser:

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

llvm-svn: 47624

llvm-svn: 47620

CharacterLiteral expressions.

llvm-svn: 47617

now store in the state essentially which branch we took.  This removes
a bunch of bogus assumptions (and likely bugs), reduces the complexity of
the implementation, and facilitates more optimizations.

llvm-svn: 47613

llvm-svn: 47590

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

llvm-svn: 47586

llvm-svn: 47578

that aren't VarDecls.

llvm-svn: 47572

llvm-svn: 47562

symbolic store: VarDecl's inserted into the sweep may not always bind to
anything; handle this special case just like bindings to uninitialized values.

llvm-svn: 47550

"remainder-by-zero" checking (operator '%').

llvm-svn: 47549

wrapping an EnumConstantDecl evaluates to an integer type that has a different
signedness than the APSInt stored in the EnumConstantDecl. Will file a Bugzilla
report.

llvm-svn: 47548

llvm-svn: 47547

confluence points the liveness information for variables (Decls) and NOT
block-level expressions.

llvm-svn: 47506

llvm-svn: 47489

assumption logic for lval::DeclVal.

llvm-svn: 47466

against '0' of the same bit-width.

llvm-svn: 47465

llvm-svn: 47464

is symbolic.

llvm-svn: 47463

about.  The default logic is to invalidate the values of all values
passed-by-reference.

llvm-svn: 47456

an error to cast it to LVal.

llvm-svn: 47450

llvm-svn: 47449

do so implicitly.

llvm-svn: 47447

llvm-svn: 47446

llvm-svn: 47445

the transfer function to be invoked without an Expr* for the Cast operation.

Added implicit promotions to the transfer function logic for compound
assignments.

llvm-svn: 47444

llvm-svn: 47443

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

two concrete integer values.

llvm-svn: 47341

for pointer dereferences.

llvm-svn: 47340

another symbolic value.

llvm-svn: 47339

cast's subexpression even if the cast itself has no effect.

llvm-svn: 47335

llvm-svn: 47333

or UnknownVal to be interpreted as an actual NonLValue/LValue.

llvm-svn: 47304

CharacterLiterals.  This may not be a permanent solution; it doesn't cost that
much, however, to create a few additional states, and solves a whole bunch
of edge cases when handling ?, ||, and &&.

llvm-svn: 47299

llvm-svn: 47298

For now we just treat their values as "Unknown."

llvm-svn: 47294

an analyzed function.

GRExprEngine now records stores to "uninitialized lvalues" (which are sinks in
the ExplodedGraph).

llvm-svn: 47293