Refactoring: for GREngine and GRConstants, pushed references to CFG, ASTContext,
and the top-level FunctionDecl into ExplodedGraphImpl.

llvm-svn: 46475

Fix bz1950. ASTContext::functionTypesAreCompatible() needs to operate on the unqualified parameter types (per C99 6.7.5.3p15).

llvm-svn: 46472

llvm-svn: 46471

llvm-svn: 46470

llvm-svn: 46468

now SymbolicNonLValue.

Cleaned up some casts.

llvm-svn: 46467

Renamed ExprValue to RValue, as all expression values are RValues, and this
keeps with the C terminology (renamed old "RValue" class to "NonLValue").

Introduced "ConcreteInt", a class that represents a concrete, integer
constant as an RValue.

Temporarily removed classes to represent set of possible constants and set of !=
constants. Will replace with a more general class representing a set of
constraints.

Added some foundational code to track "symbolic" values, which are used to
accrue constraints on an abstract value that is shared between multiple
variables.  e.g:

   x = y;      // at this point "x" and "y" share the same "value"
   if (x > 1) 
     ...       // at this point, the value shared by "x" and "y" is "> 1".

llvm-svn: 46466

Implement "private extern" on function decls!

llvm-svn: 46464

Add -Wno-rewrite-macros to silence the following warning when using -rewrite-test:

xx.m:10:3: warning: rewriting sub-expression within a macro (may not be correct)

llvm-svn: 46462

Fix a bug with struct initializers (in Sema::CheckInitializerListTypes()). 
Test case included from bz1948 (thanks Neil!).
Also fixed an 80 column violation...

llvm-svn: 46430

llvm-svn: 46426

llvm-svn: 46389

llvm-svn: 46388

llvm-svn: 46386

Added back logic in patch r46361 (http://llvm.org/viewvc/llvm-project?rev=46361&view=rev) with the addition of
some previously missing NULL pointer checks.

Modified the UninitializedValues analysis to not expect that every Expr* at the
block-level is a block-level expression (we probably need to change the name of
such expressions to something truer to their meaning).

llvm-svn: 46380

llvm-svn: 46379

a template-template parameter.

llvm-svn: 46378

I diagnose the source of the failures it causes in the test suite.

llvm-svn: 46376

Renamed RValueConjunctiveUnequal to RValInequalityANDSet.

Refactored add/subtract/multiple (and now divide) operations for
RValEqualityORSet to be based on a single template function.

llvm-svn: 46374

Add more support for Apple's "private extern" extension...

llvm-svn: 46371

llvm-svn: 46370

llvm-svn: 46368

in an initializer list.

llvm-svn: 46367

handles message sends with typenames to start with.

llvm-svn: 46366

llvm-svn: 46365

llvm-svn: 46364

ParseObjCMessageExpressionBody method.

llvm-svn: 46363

llvm-svn: 46362

include the assignment expressions whose result (as in the value of the
expression) is used by other expressions.

llvm-svn: 46361

llvm-svn: 46358

llvm-svn: 46353

llvm-svn: 46343

Replace Sema::CheckVariableInitList, CheckConstantInitList, and CheckForCharArrayInitializer with CheckInitializerListTypes. The new routine now supports struct/union initializers.

This is a modified version of a patch by Eli Friedman. This version passes all of the clang tests and supports vectors:-)

Note that Eli and I are still unsatisfied the implementation of CheckInitializerListTypes(). We'd like to find a more elegant implementation. Nevertheless, this is a complex part of the standard (and may be hard to simplify). Since the complexity is localized to this routine, we can iterate without too much disruption:-)

llvm-svn: 46339

llvm-svn: 46336

line of the file, in the common case where a file ends with a newline.

llvm-svn: 46335

llvm-svn: 46330

information is not separated into a "base" and "sub" type. Eventually the
value-tracking logic will know about LValues and RValues, but not about
specialized LValues and RValues; separating the "kind" information into bits
indicating whether an ExprValue is an LValue or an RValue from the bits that
specify the actual value type makes this separation easier.

llvm-svn: 46329

Exclude vectors from Type::isScalar() predicate.

llvm-svn: 46328

llvm-svn: 46327

llvm-svn: 46326