llvm-svn: 47289

UninitializedVals and UnknownVals.

llvm-svn: 47288

Fix McCat/08-main test.

llvm-svn: 47286

probably make this a separate command line option later.

Added "--analyze-function" option to the driver to (gradually) allow different
analyses to only be run on specific functions. Currently only --grsimple uses
this option.

llvm-svn: 47285

We will implement symbol "unification" later.

llvm-svn: 47284

llvm-svn: 47270

Tweak fix for http://llvm.org/bugs/show_bug.cgi?id=2000 to work across typedefs.

llvm-svn: 47269

llvm-svn: 47260

llvm-svn: 47259

llvm-svn: 47246

llvm-svn: 47245

llvm-svn: 47243

 int foobar(int);
 int foobar() {}

which requires ifdef'ing out a testcase in predefined-function.c.

llvm-svn: 47236

llvm-svn: 47234

llvm-svn: 47233

llvm-svn: 47226

but the fixes are reasonable.

llvm-svn: 47224

llvm-svn: 47223

llvm-svn: 47217

llvm-svn: 47216

llvm-svn: 47210

zero tokens.  This fixes PR2045, thanks to Neil for finding another 
incredibly subtle corner case :)

llvm-svn: 47203

llvm-svn: 47202

their own [.cpp;.h] files.

llvm-svn: 47201

llvm-svn: 47199

llvm-svn: 47197

llvm-svn: 47195

llvm-svn: 47193

llvm-svn: 47191

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: 47186

llvm-svn: 47185

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: 47181

trivial, but I forgot that method doesn't exist yet.

llvm-svn: 47175

llvm-svn: 47174

IncompleteArrayType.  This should make code dealing with both incomplete 
and variable length arrays much more readable, plus it allows properly 
making the distinction between isVariableArrayType() and 
isVariablyModifiedType().  The patch is a little big, but it's 
strightforward. so I don't think there should be any issues.

llvm-svn: 47165

llvm-svn: 47160

thing.  Some cleanups that can be done independently of the fix.

llvm-svn: 47158