Add VLA tests

Author: cor3ntin

clang/lib/Sema/SemaExprCXX.cpp

@@ -5600,6 +5600,9 @@ bool Sema::IsCXXTriviallyRelocatableType(QualType Type) {
 
   QualType BaseElementType = getASTContext().getBaseElementType(Type);
 
+  if(Type->isVariableArrayType())
+      return false;
+
   if (BaseElementType.hasNonTrivialObjCLifetime())
     return false;
 
@@ -5628,6 +5631,10 @@ static bool IsCXXReplaceableType(Sema &S, const CXXRecordDecl *RD) {
 bool Sema::IsCXXReplaceableType(QualType Type) {
   if (Type.isConstQualified() || Type.isVolatileQualified())
     return false;
+
+  if(Type->isVariableArrayType())
+      return false;
+
   QualType BaseElementType =
       getASTContext().getBaseElementType(Type.getUnqualifiedType());
   if (BaseElementType->isIncompleteType())

clang/test/SemaCXX/cxx2c-trivially-relocatable.cpp

@@ -279,6 +279,14 @@ static_assert(!__builtin_is_replaceable(WithVBase<S<const int>>));
 static_assert(!__builtin_is_replaceable(WithVBase<UserProvidedMove>));
 static_assert(__builtin_is_replaceable(WithVirtual));
 
+int n = 4; // expected-note 2{{declared here}}
+static_assert(!__builtin_is_cpp_trivially_relocatable(int[n]));
+// expected-warning@-1 {{variable length arrays in C++ are a Clang extension}}
+// expected-note@-2 {{read of non-const variable 'n' is not allowed in a constant expression}}
+static_assert(!__builtin_is_replaceable(int[n]));
+// expected-warning@-1 {{variable length arrays in C++ are a Clang extension}}
+// expected-note@-2 {{read of non-const variable 'n' is not allowed in a constant expression}}
+
 
 struct U1 replaceable_if_eligible {
     ~U1() = delete;