llvm-svn: 46000

Rework commit r45976, which was incorrect.

- Add Type::isComplexIntegerType(), Type::getAsComplexIntegerType().
- Don't inlude complex types with Type::isIntegerType(), which is too general.
- Use the new predicates in Sema::UsualArithmeticConversions() to recognize/convert the types.

llvm-svn: 45992

Make sure Sema::GetTypeForDeclarator() deals with abstract declarators when diagnosing incorrect code.

Bug submitted by Eli.

llvm-svn: 45989

Bug submitted by Eli.

llvm-svn: 45976

Fix crasher when redefining functions. Not 100% pleased with this solution, but it is clearly an improvement. Will discuss with Chris later.

llvm-svn: 45975

Record if a compound literal expression is @ file scope. This allows us to implement C99 6.5.2.5p6. This could have been done without modifying the AST (by checking the decl type and passing the info down to isContextExpr), however we concluded this is more desirable.

Bug/patch by Eli Friedman!

llvm-svn: 45966

Revert r45951, Chris says it violates the C99 spec.

llvm-svn: 45961

llvm-svn: 45954

proto and function type without proto.  It would never call 
'functionTypesAreCompatible' because they have different type classes.

llvm-svn: 45952

Rewrite Expr::isNullPointerConstant() to deal with multiple levels of explicit casts.

Now, isNullPointerConstant() will return true for the following: "(void*)(double*)0"

llvm-svn: 45951

Remove diagnostics from Sema::CheckIndirectionOperand(). C89/C99 allow dereferencing an incomplete type. clang appears to be emulating some incorrect gcc behavior (see below).

void
foo (void)
{
 struct b;
 struct b* x = 0;
 struct b* y = &*x; // gcc produces an error ("dereferencing pointer to incomplete type")
}

With this patch, the above is now allowed.

Bug/Patch by Eli Friedman!

llvm-svn: 45933

of const char, and it should error if it occurs outside a function.

Is it valid in an objc method?  If so we should handle that too.

llvm-svn: 45910

Eli Friedman!

llvm-svn: 45906

llvm-svn: 45839

llvm-svn: 45836

llvm-svn: 45834

llvm-svn: 45794

llvm-svn: 45793

Fix Sema::ActOnDeclarator() to call MergeFunctionDecl for function decls that aren't in scope. Since C functions are in a flat namespace, we need to give them special treatment (when compared with variables and typedefs).

llvm-svn: 45789

Fix ASTContext::typesAreCompatible to allow for int/enum compatibility (C99 6.7.2.2p4).
Fix Sema::MergeFunctionDecl to allow for function type compatibility (by using the predicate on ASTContext). Function types don't have to be identical to be compatible...

llvm-svn: 45784

Teach Sema::ActOnCompoundLiteral about constraint C99 6.5.2.5p3.

llvm-svn: 45782

This fixes a crash reported by Seo Sanghyeon

llvm-svn: 45778

llvm-svn: 45777

llvm-svn: 45776

llvm-svn: 45769

llvm-svn: 45767

Teach Expr::isConstantExpr() about CompoundLiterals.

llvm-svn: 45764

llvm-svn: 45760

Fix Sema::CheckConditionalOperands(). The null pointer constant checks need to precede the check for two pointer operands. 

llvm-svn: 45732

incorrectly apply the multiple include optimization to files with 
guards like:

#if !defined(x) MACRO

where MACRO could expand to different things in different contexts.
Thanks Neil!

llvm-svn: 45716

objc object type.

llvm-svn: 45709

llvm-svn: 45708

llvm-svn: 45591

it from several places.  This merges the diagnostics, making them more
uniform and fewer in number. This also simplifies and cleans up the code.

Some highlights:
1. This removes a bunch of very-similar diagnostics.
2. This renames AssignmentCheckResult -> AssignConvertType
3. This merges PointerFromInt + IntFromPointer which were always treated the same.
4. This updates a bunch of test cases that have minor changes to the produced diagnostics.

llvm-svn: 45589

llvm-svn: 45561

llvm-svn: 45560

llvm-svn: 45559

llvm-svn: 45556

llvm-svn: 45542

llvm-svn: 45530