llvm-svn: 54548

- Move checking from MergeVarDecl->FinializeDeclaratorGroup. Since MergeVarDecl is called before the initializer is attacted, it can't be done there (this removes a long standing FIXME).
- Add Sema::isTentativeDefinition() and Sema::CheckForFileScopedRedefinitions().
- Remove FIXME's and touch-up test case.

Still some more work to do (forthcoming)...

llvm-svn: 54533

llvm-svn: 54530

llvm-svn: 54529

llvm-svn: 54527

llvm-svn: 54526

llvm-svn: 54525

Unbreak SerializationTest and the Rewriter by doing the work in HandleTranslationUnit instead of the destructor.

llvm-svn: 54513

The motivation is that clients may either:

(a) query the ASTConsumer object after AST parsing to collect data/etc.
(b) reuse the ASTConsumer.

llvm-svn: 54502

llvm-svn: 54501

Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity.  Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later).

llvm-svn: 54493

llvm-svn: 54492

llvm-svn: 54489

llvm-svn: 54488

llvm-svn: 54487

ModuleBuilder now performs llvmgen in HandleTranslationUnit.

This patch follows from the discussion on the following thread on cfe-commits:

http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080804/006849.html

llvm-svn: 54486

llvm-svn: 54478

llvm-svn: 54477

Fix by Jordan Breeding: when scanning for prior runs, scan-build should ignore files that are not directories.

llvm-svn: 54473

Fix --html-diags in driver by delaying the construction of an HTMLDiagnosticClient until after we have created the Preprocessor object.

llvm-svn: 54472

 - <rdar://problem/6093889>

llvm-svn: 54470

prevent unexpected surprises later on.

llvm-svn: 54469

Fixes <rdar://problem/6093889> Nested enum redefinition crashes sema.

llvm-svn: 54463

llvm-svn: 54440

Unify logic in return-of-stack-check (Sema) for casts and implicit casts.

llvm-svn: 54439

llvm-svn: 54437

llvm-svn: 54436

Cleanup some processing with DeclStmt, and gradually start using the internal BumpPtrAllocator to allocator more of CFG's data structures.

llvm-svn: 54433

llvm-svn: 54429

llvm-svn: 54428

llvm-svn: 54423

 - Change hardcoded assembly instructions to a use of 'opt' (still
   waiting for someone to yell at me for this).

 - Add some cases to cover behavior fixed by previous commit.

llvm-svn: 54413

While this is a safe rewriter fix, there is still a need for some discussion (see report for more info).

llvm-svn: 54412

When serializing DeclStmt, encode a bit indicating whether or not the DeclStmt owns the Decl.  This is an interim solution.

llvm-svn: 54410

 - PR2643

llvm-svn: 54397

type.

 - This generates somewhat less optimal code than before but this is
   not hard to rectify once stable (at the cost of slightly more
   complex code).

 - This currently always uses little-endian ordering of the bitfield. 

 - This breaks the CodeGen/bitfield.c test because it was grepping for
   hard-coded assembly instructions. Will fix once a better test case
   is constructed (hard to do without execution).

 - This fixes SingleSource/UnitTests/2006-01-23-InitializedBitField.c
   and Regression/C/PR1386.c from the test suite.

 - <rdar://problem/6085090>, <rdar://problem/6094169>

llvm-svn: 54395

llvm-svn: 54393

 - Changed EmitSub to work on all cases (arithmetic, ptr - int, ptr -
   ptr) so that implementation matches that of other operators.

 - Modify EmitCompoundAssign to compute and perform the appropriate
   casts of left, right, and result types for the assorted pointer
   arithmetic cases.

 - Fix EmitSub (ptr - int) case to negate the rhs *after*
   extension. This is critical when the rhs is unsigned (and needs
   extension).

 - This fixes cfrac.

 - <rdr://6115726>

llvm-svn: 54392

scimark2 on Darwin.

 - Added Sema support for asm-label on variables, which I forgot before.

 - Update CodeGen to use GlobalDeclMap to determine if static Decls
   require emission (instead of LLVM module name lookup). Important
   since the Decl name and the LLVM module name can differ.

 - <rdar://problem/6116729>

llvm-svn: 54388

llvm-svn: 54383