llvm-svn: 47346

two concrete integer values.

llvm-svn: 47341

for pointer dereferences.

llvm-svn: 47340

another symbolic value.

llvm-svn: 47339

possible.
Fix mediabench/mpeg2/mpeg2dec test.

llvm-svn: 47336

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

llvm-svn: 47335

llvm-svn: 47333

restrict isn't.

llvm-svn: 47316

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

llvm-svn: 47304

llvm-svn: 47303

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

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