check deduced non-type template arguments and template template
arguments against the template parameters for which they were deduced,
performing conversions as appropriate so that deduced template
arguments get the same treatment as explicitly-specified template
arguments. This is the bulk of PR6723.

Also keep track of whether deduction of a non-type template argument
came from an array bound (vs. anywhere else). With this information,
we enforce C++ [temp.deduct.type]p17, which requires exact type
matches when deduction deduces a non-type template argument from
something that is not an array bound.

Finally, when in a SFINAE context, translate the "zero sized
arrays are an extension" extension diagnostic into a hard error (for
better standard conformance), which was a minor part of PR6723.

llvm-svn: 99734

llvm-svn: 99731

whose protocolls methods needs implementation.

llvm-svn: 99730

llvm-svn: 99729

of objc classes; including which methods
need be implemented and where they come from.
WIP.

llvm-svn: 99724

nested within, and suddenly local classes start working.  Wouldn't be
necessary if I hadn't used local classes in Clang in the first place.
Or, well, wouldn't be necessary yet. :)

llvm-svn: 99709

llvm-svn: 99708

the typeinfo for the fundamental types.

Fixes PR6685.

llvm-svn: 99701

instead of the canonical parameter type (which has correctly dropped all such
direct qualifiers).  Fixes PR6695.

llvm-svn: 99688

llvm-svn: 99666

lexical context.  This is required for ADL to work properly;  fixes PR6716.

llvm-svn: 99665

namespace aliases. Fixes PR6341.

llvm-svn: 99664

when determining if it returns.  Fixes <rdar://problem/7796563>.

llvm-svn: 99663

attribute to a FunctionDecl.

llvm-svn: 99662

through the bases and fields of the definition of the class in which
the constructor is declared, rather than some other declaration of
that class.

llvm-svn: 99661

override to enable use of the DarwinClang tool chain on all platforms (not just
ARM).

llvm-svn: 99660

What happens here is that we actually turn the first declaration into a
definition, regardless of whether it was actually originally a definition,
and furthermore we do this all after we've instantiated all the declarations.
This exposes a bug in my DefinitionData patch where it was only setting the
DefinitionData for previous declarations, not future declarations.
Fortunately, there's an iterator for that.

llvm-svn: 99657

expression can be converted to the type of another, only apply the
lvalue-to-rvalue conversion to the type of the expression we're
converting, *not* the array-to-pointer or function-to-pointer
conversions. Fixes PR6595.

llvm-svn: 99652

re-route its only caller to the newer
PerformCopyInitialization(). We're down to one remaining caller of
Sema::CheckReferenceInit.

llvm-svn: 99650

llvm-svn: 99648

CheckReferenceInit to using the new initialization sequence code.

llvm-svn: 99647

configuration.

llvm-svn: 99641

Abramo Bagnara!

llvm-svn: 99626

form a >>=.  Patch by Abramo Bagnara, testcase by me.

llvm-svn: 99624

llvm-svn: 99616

llvm-svn: 99615

llvm-svn: 99614

llvm-svn: 99612

parameter, keep the integral value exactly as it was in the source
code rather than trying to convert it to the type of the non-type
template parameter (which may still be dependent!). The value will
then be converted to the appropriate type once we check the resulting
template arguments. Fixes PR6707.

llvm-svn: 99611

pattern if it has a body.

llvm-svn: 99610

llvm-svn: 99609

llvm-svn: 99608

llvm-svn: 99606

llvm-svn: 99605

llvm-svn: 99604

llvm-svn: 99601

that we extend/truncate then correct the sign to convert the non-type
template argument to the template parameter's type. Previously, we
reported an error when the non-type template argument was out of
range; now we just warn.

llvm-svn: 99600

llvm-svn: 99596

llvm-svn: 99588

llvm-svn: 99587