type is a template-id (e.g., basic_ostream<CharT, Traits>) and the
argument type is a class that has a derived class matching the
parameter type. Previously, we were giving up on template argument
deduction too early.

llvm-svn: 83177

overload candidates (but not the built-in ones). We still rely on the
underlying built-in semantic analysis to produce the initial
diagnostic, then print the candidates following that diagnostic. 

One side advantage of this approach is that we can perform more validation
of C++'s operator overloading with built-in candidates vs. the
semantic analysis for those built-in operators: when there are no
viable candidates, we know to expect an error from the built-in
operator handling code. Otherwise, we are not modeling the built-in
semantics properly within operator overloading. This is checked as:

      assert(Result.isInvalid() && 
             "C++ binary operator overloading is missing
             candidates!");
      if (Result.isInvalid())
        PrintOverloadCandidates(CandidateSet, /*OnlyViable=*/false);

The assert() catches cases where we're wrong in a +Asserts build. The
"if" makes sure that, if this happens in a production clang
(-Asserts), we still build the proper built-in operator and continue
on our merry way. This is effectively what happened before this
change, but we've added the assert() to catch more flies.

llvm-svn: 83175

llvm-svn: 83173

a bad initializer. Fixes pr4274.

llvm-svn: 83169

Add an error for function parameters that have a qualified address space since this is not allowed by the embedded c extension spec.

llvm-svn: 83165

llvm-svn: 83162

llvm-svn: 83161

llvm-svn: 83158

llvm-svn: 83157

llvm-svn: 83153

<rdar://problem/7263113> Make clang produce gcc's objc_assign_StrongCast as a result of type-cast of an ivar in assignment.

llvm-svn: 83150

llvm-svn: 83149

scheme, we can switch the previous scheme over to using this code
path.  There's a bit of simplifications yet to do as well.

llvm-svn: 83138

unbounded chains of operator-> delegations.

llvm-svn: 83134

to strike fear into the hearts of CPUs everywhere.

llvm-svn: 83133

infinit recursion. This patch fixes it. [13.3.1.2]-p2

llvm-svn: 83124

llvm-svn: 83119

concrete types.  Use unqualified desugaring for getAs<> and sundry.
Fix a few users to either not desugar or use qualified desugar, as seemed
appropriate.  Removed Type's qualified desugar method, as it was easy
to accidentally use instead of QualType's.

llvm-svn: 83116

The C++ delete expression strips cv-qualifiers from the pointed-to type. My previous fix eliminated this behavior, so bring it back again.

llvm-svn: 83113

llvm-svn: 83112

llvm-svn: 83111

llvm-svn: 83110

llvm-svn: 83109

Parameter declarations that differ only in the presence or absence of const and/or volatile are equivalent.

llvm-svn: 83104

llvm-svn: 83101

llvm-svn: 83099

llvm-svn: 83098

llvm-svn: 83097

llvm-svn: 83096

-A NamedDecl reference
-A TypeLoc

llvm-svn: 83095

llvm-svn: 83094

This is used only for keeping detailed type source information for protocol references,
it should not participate in the semantics of the type system.

Its protocol list is not canonicalized.

llvm-svn: 83093

llvm-svn: 83092

llvm-svn: 83091

llvm-svn: 83090

llvm-svn: 83089

-Make TypeLoc's constructor public.

llvm-svn: 83088

llvm-svn: 83087

libexec, *blush*.

llvm-svn: 83086

right for multiple anonymous categories.

llvm-svn: 83085