Fix isTriviallyCopyableType for arrays

[K-ballo]

Summary

Fix isTriviallyCopyableType for arrays. An array of type T is trivially copyable if T is trivially copyable.

[rsmith]

LGTM

[compnerd]

SVN r226696.

lib/AST/Type.cpp

bool QualType::isTrivialType(ASTContext &Context) const {
   }
   
   // No other types can match.
   return false;
 }
 
 bool QualType::isTriviallyCopyableType(ASTContext &Context) const {
   if ((*this)->isArrayType())
-    return Context.getBaseElementType(*this).isTrivialType(Context);
+    return Context.getBaseElementType(*this).isTriviallyCopyableType(Context);
 
   if (Context.getLangOpts().ObjCAutoRefCount) {
     switch (getObjCLifetime()) {
     case Qualifiers::OCL_ExplicitNone:
       return true;
       
     case Qualifiers::OCL_Strong:
     case Qualifiers::OCL_Weak:

test/SemaCXX/type-traits.cpp

void trivial_checks()
   { int arr[T(__is_trivially_copyable(DerivesHasProt))]; }
   { int arr[T(__is_trivially_copyable(Vector))]; }
   { int arr[T(__is_trivially_copyable(VectorExt))]; }
   { int arr[T(__is_trivially_copyable(HasCons))]; }
   { int arr[T(__is_trivially_copyable(HasRef))]; }
   { int arr[T(__is_trivially_copyable(HasNonPOD))]; }
   { int arr[T(__is_trivially_copyable(DerivesHasCons))]; }
   { int arr[T(__is_trivially_copyable(DerivesHasRef))]; }
+  { int arr[T(__is_trivially_copyable(NonTrivialDefault))]; }
+  { int arr[T(__is_trivially_copyable(NonTrivialDefault[]))]; }
+  { int arr[T(__is_trivially_copyable(NonTrivialDefault[3]))]; }
 
   { int arr[F(__is_trivially_copyable(HasCopyAssign))]; }
   { int arr[F(__is_trivially_copyable(HasMoveAssign))]; }
   { int arr[F(__is_trivially_copyable(HasDest))]; }
   { int arr[F(__is_trivially_copyable(HasVirt))]; }
   { int arr[F(__is_trivially_copyable(DerivesHasCopyAssign))]; }
   { int arr[F(__is_trivially_copyable(DerivesHasMoveAssign))]; }
   { int arr[F(__is_trivially_copyable(DerivesHasDest))]; }