codegen of calls to functions without a prototype and varargs functions, 
including printf.

llvm-svn: 46543

Many refinements to Sema::MergeVarDecl(). This routine still needs some re-work to fully handle tentative decls.

This includes a fix to bz1908.

llvm-svn: 46540

auto-propagation of state along a branch.

llvm-svn: 46537

we automatically generate a new successor node along an edge if the checker
did not explicitly do so (i.e., we just propagate the current state).

llvm-svn: 46536

llvm-svn: 46535

llvm-svn: 46534

Rewriting of @synchronized. This has one FIXME in it. But this should allow @sychronized to be rewritten.

llvm-svn: 46533

llvm-svn: 46532

llvm-svn: 46531

have been 'true'.

llvm-svn: 46530

- Some minor optimizations of the encoding format for ObjCAtSynchronizedStmt.
- Reordered methods so that the deserialization methods for 
  ObjCAtSynchronizedStmt appear in alphabetical order with the corresponding
  methods of the other AST nodes.

llvm-svn: 46529

Made some internal API cleanups with creating ConcreteInt values, which lead to
some code reduction in implementing "++", "--".

llvm-svn: 46528

llvm-svn: 46524

Tighten up ASTContext::typesAreCompatible()...it needs to make sure the qualifiers match. The comment and C99 citation for this routine were correct...the code needed to conform to the comment/spec. This fixes the test added below.

Tightening up this routine forced tweaks to Sema::CheckSubtractionOperands() and Sema::CheckCompareOperands(). For example, they both need to operate on the unqualified pointee...

llvm-svn: 46522

llvm-svn: 46520

already used.

llvm-svn: 46519

for analyzing a function.

The initial state for GRConstants now assigns symbolic values to parameters.

llvm-svn: 46517

llvm-svn: 46515

llvm-svn: 46505

llvm-svn: 46504

message when handling the GNU ", ## __VA_ARGS__" extension.  While
I'm at it, flag uses of this as extensions.

llvm-svn: 46503

doesn't get confused by typedefs.

llvm-svn: 46502

llvm-svn: 46501

state.

llvm-svn: 46491

and now we require a FunctionDecl* object so that we can also keep track of
all of the ParmDecls.

Modified clients of LiveVariables to conform to the new interface.

llvm-svn: 46490

Tweak Sema::DefaultArgumentPromotion() to call UsualUnaryConversions(). This makes sure function calls that don't have a prototype get the default function/array conversion.

Patch by Eli Friedman!

llvm-svn: 46489

llvm-svn: 46482

llvm-svn: 46481

llvm-svn: 46480

llvm-svn: 46477

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