llvm-svn: 73034

llvm-svn: 73000

Make ParmVarDecl::getDefaultArg() more robust, it now asserts that the argument is not unparsed. Add a new hasDefaultArg() and use it in places where getDefaultArg() was called when the argument was unparsed.

llvm-svn: 72984

without a relevant source location anyway.  Fixes the issue with weird 
warnings when including objc/Object.h on OS X.

llvm-svn: 72978

change. More to follow.

llvm-svn: 72951

Improvements to CXXExprWithTemporaries in preparation for fixing a bug with default arguments that have temporaries.

llvm-svn: 72944

llvm-svn: 72926

Make TemplateArgumentListBuilder take an ASTContext (because we're probably going to need it later). Move push_back to the .cpp file. If the passed in template argument is a type, assert that it's canonical.

llvm-svn: 72918

llvm-svn: 72917

llvm-svn: 72916

llvm-svn: 72915

llvm-svn: 72913

right approach, but I'm still not sure what the best way to go about this is.

llvm-svn: 72912

llvm-svn: 72911

  - Once we have deduced template arguments for a class template partial
    specialization, we use exactly those template arguments for instantiating
    the definition of the class template partial specialization.
  - Added template argument deduction for non-type template parameters.
  - Added template argument deduction for dependently-sized array types.

With these changes, we can now implement, e.g., the remove_reference
type trait. Also, Daniel's Ackermann template metaprogram now compiles
properly.

llvm-svn: 72909

llvm-svn: 72901

llvm-svn: 72871

llvm-svn: 72844

llvm-svn: 72834

llvm-svn: 72822

deductions of the same template parameter are equivalent. This allows
us to implement the is_same type trait (!).

Also, move template argument deduction into its own file and update a
few build systems with this change (grrrr).

llvm-svn: 72819

llvm-svn: 72770

llvm-svn: 72747

llvm-svn: 72726

definition variadic.  I'm not completely sure it's legal, but the 
standard can be interpreted as making it legal, and gcc seems to think 
it's legal, so I didn't add an extension warning.

llvm-svn: 72689

Make sure to copy back arguments that can be changed by FindAllocationOverload. This fixes placement new. (Sebastian, please review).

llvm-svn: 72673

Fix an off by one error when trying to perform copy initialization of operator new and operator delete arguments. Sebastian, please review.

llvm-svn: 72670

an error to being a warning that defaults to error.  If you want this to
be a warning, you have to explicitly pass -Winvalid-noreturn to clang to
map it back to a warning.

llvm-svn: 72669

llvm-svn: 72664

string.

llvm-svn: 72663

we have the basics of declaring and storing class template partial
specializations, matching class template partial specializations at
instantiation time via (limited) template argument deduction, and
using the class template partial specialization's pattern for
instantiation. 

This patch is enough to make a simple is_pointer type trait work, but
not much else.

llvm-svn: 72662

llvm-svn: 72647

llvm-svn: 72644

llvm-svn: 72643

llvm-svn: 72642

llvm-svn: 72641

llvm-svn: 72640

llvm-svn: 72638

llvm-svn: 72634

llvm-svn: 72633