llvm-svn: 47298

allows you to do things like 
typedef __attribute__(( ocu_vector_type(4))) float float4;
float4 *x;
float y = x[0][2];

llvm-svn: 47295

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

Fix Olden/bh test.

llvm-svn: 47292

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