Build invalid default-member-init in BuildCXXDefaultInitExpr

Signed-off-by: yronglin <[email protected]>

Author: yronglin

clang/lib/Sema/SemaExpr.cpp

@@ -5563,16 +5563,6 @@ ExprResult Sema::BuildCXXDefaultArgExpr(SourceLocation CallLoc,
 ExprResult Sema::BuildCXXDefaultInitExpr(SourceLocation Loc, FieldDecl *Field) {
   assert(Field->hasInClassInitializer());
 
-  // We do not want to aggressively cutoff parsing. Try to recover when
-  // in-class-initializer had errors.
-  if (Field->getInClassInitializer() &&
-      Field->getInClassInitializer()->containsErrors())
-    return Field->getInClassInitializer();
-
-  // If we might have already tried and failed to instantiate, don't try again.
-  if (Field->isInvalidDecl())
-    return ExprError();
-
   CXXThisScopeRAII This(*this, Field->getParent(), Qualifiers());
 
   auto *ParentRD = cast<CXXRecordDecl>(Field->getParent());

clang/test/AST/ast-dump-recovery.cpp

@@ -487,7 +487,8 @@ union U {
 // CHECK-NEXT:      `-DeclStmt {{.*}}
 // CHECK-NEXT:        `-VarDecl {{.*}} g 'U':'GH112560::U' listinit
 // CHECK-NEXT:          `-InitListExpr {{.*}} 'U':'GH112560::U' contains-errors field Field {{.*}} 'f' 'int'
-// CHECK-NEXT:            `-RecoveryExpr {{.*}} 'int' contains-errors
+// CHECK-NEXT:            `-CXXDefaultInitExpr {{.*}} 'int' contains-errors has rewritten init
+// CHECK-NEXT:              `-RecoveryExpr {{.*}} 'int' contains-errors
 // DISABLED-NOT: -RecoveryExpr {{.*}} contains-errors
 void foo() {
   U g{};