Needed to make sure the relaxed type checking only applies to "readonly" properties.

llvm-svn: 56838

llvm-svn: 56821

llvm-svn: 56800

Teach Sema::CheckAssignmentConstraints() to allow assignments between id and block pointer types (^{}).

llvm-svn: 56793

llvm-svn: 56791

llvm-svn: 56785

llvm-svn: 56775

Fix <rdar://problem/6252129> implementation of method in category doesn't effectively declare it for methods below.

llvm-svn: 56771

llvm-svn: 56770

wasn't covering checking builtins like __builtin___vsnprintf_chk) with
a check that won't get out of date. 

llvm-svn: 56767

don't need a BlockDeclRefExpr.

llvm-svn: 56766

llvm-svn: 56764

llvm-svn: 56761

This fixes <rdar://problem/6248392> clang: Error when using address of stack variable inside block.

llvm-svn: 56652

llvm-svn: 56642

llvm-svn: 56640

llvm-svn: 56639

Downgrade incompatible block pointer error to a warning (to be consistent with incompatible pointer warnings in general).

llvm-svn: 56595

llvm-svn: 56590

 - readonly and readwrite are mutually exclusive.
 - assign, copy, and retain are mutually exclusive.
 - copy and retain are invalid on non-object types.
 - Warn about using default 'assign' property on object types
   (attempting to follow gcc behavior).

llvm-svn: 56507

llvm-svn: 56438

Also added a couple simple tests from the "gcc.apple" test suite.

llvm-svn: 56309

Block literals are now represented by the concrete BlockExpr class.
This is cleanup (removes a FIXME).
No functionality change.

llvm-svn: 56288

llvm-svn: 56280

 ^(expression) or ^(int arg1, float arg2)(expression)
...is no longer supported. 
All block literals now require a compound statement.

llvm-svn: 56257

Sema::CheckReturnStackAddr(): Make sure we skip over implicit casts.
Added some more test cases...

llvm-svn: 56254

 - For investigating warnings in system headers / builtins.
 - Currently also enables the behavior that allows silent redefinition
   of types in system headers. Conceptually these are separate but I
   didn't feel it was worth two options (or changing LangOptions).

llvm-svn: 56163

Give string literals const element typesin C++, and cope with the deprecated C++ conversion from a string literal to a pointer-to-non-const-character

llvm-svn: 56137

 - Follow C99 behavior of using other operand type when one of
   operands is a null pointer constant.
 - Fix overenthusiastic devolving of any Objective-C types to id:
   o If either operand has an Objective-C object type then:
     - If both operands are interfaces and either operand can be
       assigned to the other, use that type as the composite type.
     - Otherwise, if either type is id, use id as the composite type.
     - Otherwise, warn about incompatible types and use id as the
       composite type.
 - Return handling of qualified idea to separate test following
   general pointer type checking.
   o Upgraded from old code to allow devolving to id (without warning,
     which matches GCC).
 - <rdar://problem/6212771>

Add test case for issues fixed above, XFAIL though because it exposed
a new issue in property handling.

llvm-svn: 56135

llvm-svn: 56096

llvm-svn: 56094

(1) Additional arguments to variadic methods should have default
promotions applied.

(2) Additional arguments to non-variadic methods were allowed.

llvm-svn: 56084

no method declaration was found.
 - This was allowing arrays to pass "by value" among other things.

Add assert in CodeGen that arguments cannot have array type.

llvm-svn: 56080

CheckMessageArgumentTypes.
 - No functionality change.

llvm-svn: 56079

llvm-svn: 56064

llvm-svn: 56063

Implement Sema support for the 'condition' part of C++ selection-statements and iteration-statements (if/switch/while/for).

llvm-svn: 56044

llvm-svn: 56042

Make IdentifierResolver::isDeclInScope regard declarations of a parent 'control' scope as part of the current scope.
The 'control' scope is the 'condition' scope of if/switch/while statements and the scope that contains the for-init-statement and 'condition' of a for statement.

e.g:
if (int x = 0 /*'control' scope*/) {
  // x will be regarded as part of this substatement scope.
} else {
  // and as part of this substatement scope too.
}

llvm-svn: 56020

Make Sema pass the LangOptions to IdentifierResolver's constructor.

llvm-svn: 56015