Preperations for module support for ignoreDeprecationWarnings attribute

Author: NSAntoine

include/swift/AST/Attr.def

@@ -736,7 +736,7 @@ CONTEXTUAL_SIMPLE_DECL_ATTR(_local, KnownToBeLocal,
   130)
 
 SIMPLE_DECL_ATTR(ignoreDeprecationWarnings, IgnoreDeprecationWarnings,
-  OnAbstractFunction | OnGenericType | OnVar | OnSubscript | OnEnumElement |
+  OnAbstractFunction | OnGenericType | OnVar | OnSubscript | OnEnumElement | OnImport
   OnExtension | AllowMultipleAttributes |
   ABIStableToAdd | ABIStableToRemove | APIStableToAdd | APIStableToRemove,
   131)

include/swift/AST/Import.h

@@ -85,7 +85,10 @@ enum class ImportFlags {
   Preconcurrency = 0x20,
 
   /// Used for DenseMap.
-  Reserved = 0x80
+  Reserved = 0x80,
+
+  /// Silence all deprecation warnings coming from symbols imported from the module
+  IgnoresDeprecationWarnings = 0x90
 };
 
 /// \see ImportFlags

lib/Sema/ImportResolution.cpp

@@ -536,6 +536,9 @@ UnboundImport::UnboundImport(ImportDecl *ID)
   if (ID->getAttrs().hasAttribute<ImplementationOnlyAttr>())
     import.options |= ImportFlags::ImplementationOnly;
 
+  if (ID->getAttrs().hasAttribute<IgnoreDeprecationWarningsAttr>())
+    import.options |= ImportFlags.IgnoresDeprecationWarnings;
+
   if (auto *privateImportAttr =
           ID->getAttrs().getAttribute<PrivateImportAttr>()) {
     import.options |= ImportFlags::PrivateImport;

lib/Sema/TypeCheckConcurrency.cpp

@@ -686,10 +686,9 @@ static bool hasExplicitSendableConformance(NominalTypeDecl *nominal,
 }
 
 /// Find the import that makes the given nominal declaration available.
-static Optional<AttributedImport<ImportedModule>> findImportFor(
-    NominalTypeDecl *nominal, const DeclContext *fromDC) {
+Optional<AttributedImport<ImportedModule>> findImportFor(
+    ModuleDecl *nominalModule, ASTContext *nominalASTCtx, const DeclContext *fromDC) {
   // If the nominal type is from the current module, there's no import.
-  auto nominalModule = nominal->getParentModule();
   if (nominalModule == fromDC->getParentModule())
     return None;
 
@@ -704,7 +703,7 @@ static Optional<AttributedImport<ImportedModule>> findImportFor(
   }
 
   // Now look for transitive imports.
-  auto &importCache = nominal->getASTContext().getImportCache();
+  auto &importCache = nominalASTCtx.getImportCache();
   for (const auto &import : fromSourceFile->getImports()) {
     auto &importSet = importCache.getImportSet(import.module.importedModule);
     for (const auto &transitive : importSet.getTransitiveImports()) {
@@ -723,7 +722,7 @@ DiagnosticBehavior SendableCheckContext::diagnosticBehavior(
     NominalTypeDecl *nominal) const {
   // Determine whether this nominal type is visible via a @preconcurrency
   // import.
-  auto import = findImportFor(nominal, fromDC);
+  auto import = findImportFor(nominal->getParentModule(), nominal->getASTContext(), fromDC);
   auto sourceFile = fromDC->getParentSourceFile();
 
   // When the type is explicitly non-Sendable...
@@ -795,7 +794,7 @@ bool swift::diagnoseSendabilityErrorBasedOn(
     Optional<AttributedImport<swift::ImportedModule>> import;
     SourceFile *sourceFile = fromContext.fromDC->getParentSourceFile();
     if (sourceFile) {
-      import = findImportFor(nominal, fromContext.fromDC);
+      import = findImportFor(nominal->getParentModule(), nominal->getASTContext(), fromContext.fromDC);
     }
 
     // If we found the import that makes this nominal type visible, remark

lib/Sema/TypeCheckConcurrency.h

@@ -474,6 +474,8 @@ bool isPotentiallyIsolatedActor(
     VarDecl *var, llvm::function_ref<bool(ParamDecl *)> isIsolated =
                       [](ParamDecl *P) { return P->isIsolated(); });
 
+Optional<AttributedImport<ImportedModule>> findImportFor(
+    ModuleDecl *nominalModule, ASTContext *nominalASTCtx, const DeclContext *fromDC);
 } // end namespace swift
 
 #endif /* SWIFT_SEMA_TYPECHECKCONCURRENCY_H */