llvm-svn: 47661

GRSimpleVals performs the following action: invalidate all values passed-by-reference.

llvm-svn: 47638

Use custom diagnostics for static analysis checkers.  Added warnings
for dereferencing uninitialized values and divide-by-zeroes.

llvm-svn: 47626

llvm-svn: 47489

assumption logic for lval::DeclVal.

llvm-svn: 47466

llvm-svn: 47446

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

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

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

llvm-svn: 47304

an analyzed function.

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

llvm-svn: 47293

UninitializedVals and UnknownVals.

llvm-svn: 47288

We will implement symbol "unification" later.

llvm-svn: 47284

but the fixes are reasonable.

llvm-svn: 47224

Fixed bug in transfer functions for sizeof(*); we were incorrectly evaluating to
a value of the wrong type.

Fixed bug in transfer functions for compound assignments where we did not properly
handle assignments involving dereferences of symbolic values.

llvm-svn: 47190

llvm-svn: 47147

--grsimple except that it visualizes the ExplodedGraph using dot and
outputs the current function being analyzed.  --grsimple is now silent
except when it emits diagnostics.

llvm-svn: 47146

llvm-svn: 47139

Moved driver logic for --grsimple to GRSimpleVals.cpp.

llvm-svn: 47137

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