[cxx-interop] Make sure to create empty initializers for C++ structs

The existing synthesis mechanism had a bug: `cxxRecordDecl->hasDefaultConstructor()` returns true for C++ types with an implicit default constructor, for instance, `pthread_mutexattr_t`.

rdar://113708880

Author: egorzhdan

lib/ClangImporter/ImportDecl.cpp

@@ -2381,18 +2381,30 @@ namespace {
         hasMemberwiseInitializer = false;
       }
 
-      if (hasZeroInitializableStorage &&
-          !(cxxRecordDecl && cxxRecordDecl->hasDefaultConstructor())) {
-        // Add default constructor for the struct if compiling in C mode.
-        // If we're compiling for C++:
-        // 1. If a default constructor is declared, don't synthesize one.
-        // 2. If a default constructor is deleted, don't try to synthesize one.
-        // 3. If there is no default constructor, synthesize a C-like default
-        //    constructor that zero-initializes the backing memory of the
-        //    struct. This is important to maintain source compatibility when a
-        //    client enables C++ interop in an existing project that uses C
-        //    interop and might rely on the fact that C structs have a default
-        //    constructor available in Swift.
+      // Add default constructor for the struct if compiling in C mode.
+      // If we're compiling for C++:
+      // 1. If a default constructor is declared, don't synthesize one.
+      // 2. If a default constructor is deleted, don't try to synthesize one.
+      // 3. If there is no default constructor, synthesize a C-like default
+      //    constructor that zero-initializes the backing memory of the
+      //    struct. This is important to maintain source compatibility when a
+      //    client enables C++ interop in an existing project that uses C
+      //    interop and might rely on the fact that C structs have a default
+      //    constructor available in Swift.
+      bool needsEmptyInitializer = true;
+      if (cxxRecordDecl) {
+        if (auto structResult = dyn_cast<StructDecl>(result)) {
+          for (auto member : structResult->getMembers()) {
+            if (auto constructorDecl = dyn_cast<ConstructorDecl>(member)) {
+              if (constructorDecl->getParameters()->size() == 0) {
+                needsEmptyInitializer = false;
+                break;
+              }
+            }
+          }
+        }
+      }
+      if (hasZeroInitializableStorage && needsEmptyInitializer) {
         ConstructorDecl *defaultCtor =
             synthesizer.createDefaultConstructor(result);
         ctors.push_back(defaultCtor);

test/Interop/Cxx/objc-correctness/pthread_mutexattr_t.swift

@@ -0,0 +1,6 @@
+// RUN: %target-typecheck-verify-swift -verify-ignore-unknown -I %S/Inputs -enable-objc-interop -enable-experimental-cxx-interop
+// REQUIRES: OS=macosx
+
+import Darwin
+
+_ = pthread_mutexattr_t() // expected-warning {{'init()' is deprecated: This zero-initializes the backing memory of the struct}}