vars.  Approach suggested by Keith.

llvm-svn: 39849

llvm-svn: 39848

llvm-svn: 39847

llvm-svn: 39846

llvm-svn: 39842

llvm-svn: 39841

More changes related to implementing ImplicitCastExpr.

- Fixed a recent regression discovered by Keith Bauer (thanks!). 
The fix involved adding (back) two arguments to UsualArithmeticConversions.
Without the reference arguments, no unary conversions were being passed back
to the caller. This had the effect of turning off the UsualUnaryConversions.
- Refactored CheckAssignmentConstraints into 3 functions. CheckAssignmentConstraints,
CheckSingleAssignmentConstraints, and CheckCompoundAssignmentConstraints. 
- Changed the argument type of DefaultFunctionArrayConversion from QualType->Expr*&.
- Removed a bunch of casts in routines I was working on (cleanup).
- Fixed the visitor for ImplicitCastExpr (oops).

llvm-svn: 39840

llvm-svn: 39838

llvm-svn: 39837

llvm-svn: 39836

where ASTContext can manage caches for struct layout, etc.

llvm-svn: 39835

on test/Sema/implicit-int.c

llvm-svn: 39833

llvm-svn: 39832

llvm-svn: 39831

llvm-svn: 39830

llvm-svn: 39829

llvm-svn: 39826

llvm-svn: 39824

assert is now done in UsualUnaryConversions().

llvm-svn: 39818

llvm-svn: 39815

Add (explicit) AST support for implicit casts. This should simplify the 
code generator. Source translation tools can simply ignore this node.

- Added a new Expr node, ImplicitCastExpr.
- Changed UsualUnaryConversions/UsualArithmeticConversions to take references 
to Expr *'s. This will allow these routines to instantiate the new AST node
and pass it back.
- Changed all clients of UsualUnary/UsualArithmetic (lot's of diff's).
- Changed some names in CheckConditionalOperands. Several variables where
only distinguished by their case (e.g. Cond, cond). Yuck (what was I thinking).
- Removed an old/crufty constructor in CastExpr (cleanup).

This check-in does not actually create the new AST node. I wanted to separate
the mechanical changes from the semantic changes. In addition, I need to 
coordinate with Chris, since the semantic change will break the code generator.

llvm-svn: 39814

llvm-svn: 39812

llvm-svn: 39797

Both in one patch, and the test case that Chris didn't commit last
time is in there too...

I'll split the patch up if somebody wants it split."

Patch by Keith Bauer.

llvm-svn: 39796

llvm-svn: 39795

I've added a tests/CodeGen directory, and a test for this case that
used to fail and now passes."

Patch by Keith Bauer

llvm-svn: 39794

Keith Bauer.

llvm-svn: 39793

llvm-svn: 39792

Two changes...

- Teach all the integer/float predicates on Type about Vectors.
- Disallow bitwise compliment on float vectors. For example...

typedef float __attribute__(( vector_size(16) )) float4;

float4 float4_return()
{
    float4 xx;

    return ~xx;
}

...now emits the following diagnostic...

[administrators-powerbook59:~/llvm/tools/clang] admin% ../../Debug/bin/clang bug.c
bug.c:8:12: error: invalid argument type to unary expression 'float4'
    return ~xx;
           ^
1 diagnostic generated.

llvm-svn: 39791

llvm-svn: 39786

llvm-svn: 39785

llvm-svn: 39784

llvm-svn: 39783

(needed on Solaris)

llvm-svn: 39781

Benoit Boissinot!

llvm-svn: 39780

included.  Patch contributed by Benoit Boissinot!

llvm-svn: 39779

doesn't imply <cassert>.

llvm-svn: 39778

llvm-svn: 39777

notice this.

llvm-svn: 39776

llvm-svn: 39771