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

UninitializedVals and UnknownVals.

llvm-svn: 47288

We will implement symbol "unification" later.

llvm-svn: 47284

but the fixes are reasonable.

llvm-svn: 47224

their own [.cpp;.h] files.

llvm-svn: 47201

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

Fixed bug in transfer function for compound assignment operators when both operands where variables but had a non-pointer type (we fired an assertion).

llvm-svn: 47184

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

llvm-svn: 47157

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

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

null-dereferences or bad control-flow red.

llvm-svn: 47140

llvm-svn: 47139

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

llvm-svn: 47137

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