Merge remote-tracking branch 'apple/main' into katei/merge-main-2021-02-12

Author: kateinoigakukun

cmake/modules/Libdispatch.cmake

@@ -34,20 +34,24 @@ if(NOT CMAKE_SYSTEM_NAME STREQUAL Darwin)
 endif()
 
 set(DISPATCH_SDKS)
+
+# Build the host libdispatch if needed.
 if(SWIFT_BUILD_HOST_DISPATCH)
   if(NOT CMAKE_SYSTEM_NAME STREQUAL Darwin)
     if(NOT "${SWIFT_HOST_VARIANT_SDK}" IN_LIST SWIFT_SDKS)
       list(APPEND DISPATCH_SDKS "${SWIFT_HOST_VARIANT_SDK}")
     endif()
   endif()
-
-  foreach(sdk ${SWIFT_SDKS})
-    if(NOT "${sdk}" IN_LIST SWIFT_APPLE_PLATFORMS)
-      list(APPEND DISPATCH_SDKS "${sdk}")
-    endif()
-  endforeach()
 endif()
 
+# Build any target libdispatch if needed.
+foreach(sdk ${SWIFT_SDKS})
+  # Apple targets have libdispatch available, do not build it.
+  if(NOT "${sdk}" IN_LIST SWIFT_APPLE_PLATFORMS)
+    list(APPEND DISPATCH_SDKS "${sdk}")
+  endif()
+endforeach()
+
 foreach(sdk ${DISPATCH_SDKS})
   set(ARCHS ${SWIFT_SDK_${sdk}_ARCHITECTURES})
   if(${sdk} STREQUAL "${SWIFT_HOST_VARIANT_SDK}")

include/swift/ABI/Actor.h

@@ -41,4 +41,4 @@ class alignas(Alignment_DefaultActor) DefaultActor : public HeapObject {
 
 } // end namespace swift
 
-#endif
+#endif

include/swift/ABI/TaskStatus.h

@@ -25,7 +25,7 @@
 
 namespace swift {
 
-/// The abstract base class for all sttatus records.
+/// The abstract base class for all status records.
 ///
 /// TaskStatusRecords are typically allocated on the stack (possibly
 /// in the task context), partially initialized, and then atomically

include/swift/AST/ASTSynthesis.h

@@ -353,4 +353,4 @@ Type synthesizeType(SynthesisContext &SC, const OptionalSynthesizer<S> &s) {
 
 } // end namespace swift
 
-#endif
+#endif

include/swift/AST/AccessNotes.h

@@ -0,0 +1,111 @@
+//===--- AccessNotes.h - Access Notes ---------------------------*- C++ -*-===//
+//
+// This source file is part of the Swift.org open source project
+//
+// Copyright (c) 2014 - 2021 Apple Inc. and the Swift project authors
+// Licensed under Apache License v2.0 with Runtime Library Exception
+//
+// See https://swift.org/LICENSE.txt for license information
+// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
+//
+//===----------------------------------------------------------------------===//
+//
+//  Implements access notes, which allow certain modifiers or attributes to be
+//  added to the declarations in a module.
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef ACCESSNOTES_H
+#define ACCESSNOTES_H
+
+#include "swift/AST/Identifier.h"
+#include "swift/AST/StorageImpl.h"
+#include "swift/Basic/NullablePtr.h"
+#include "llvm/Support/Error.h"
+#include "llvm/Support/MemoryBuffer.h"
+#include "llvm/Support/raw_ostream.h"
+#include <set>
+#include <string>
+#include <vector>
+
+namespace swift {
+class ASTContext;
+class ValueDecl;
+
+/// The name of the declaration an access note should be applied to.
+///
+/// Grammatically, this is equivalent to a \c ParsedDeclName, but supports a
+/// subset of that type's features.
+class AccessNoteDeclName {
+public:
+  /// The names of the parent/contextual declarations containing the declaration
+  /// the access note should apply to.
+  std::vector<Identifier> parentNames;
+
+  /// The name of the declaration the access note should be applied to. (For
+  /// accessors, this is actually the name of the storage it's attached to.)
+  DeclName name;
+
+  /// For accessors, the kind of accessor; for non-accessors, \c None.
+  Optional<AccessorKind> accessorKind;
+
+  AccessNoteDeclName(ASTContext &ctx, StringRef str);
+  AccessNoteDeclName();
+
+  /// If true, an access note with this name should apply to \p VD.
+  bool matches(ValueDecl *VD) const;
+
+  /// If true, the name is empty and invalid.
+  bool empty() const;
+
+  void print(llvm::raw_ostream &os) const;
+  SWIFT_DEBUG_DUMP;
+};
+
+/// An individual access note specifying modifications to a declaration.
+class AccessNote {
+public:
+  /// The name of the declaration to modify.
+  AccessNoteDeclName Name;
+
+  /// If \c true, add an @objc attribute; if \c false, delete an @objc
+  /// attribute; if \c None, do nothing.
+  Optional<bool> ObjC;
+
+  /// If \c true, add a dynamic modifier; if \c false, delete a dynamic
+  /// modifier; if \c None, do nothing.
+  Optional<bool> Dynamic;
+
+  /// If set, modify an @objc attribute to give it the specified \c ObjCName.
+  /// If \c ObjC would otherwise be \c None, it will be set to \c true.
+  Optional<ObjCSelector> ObjCName;
+
+  void dump(llvm::raw_ostream &os, int indent = 0) const;
+  SWIFT_DEBUG_DUMP;
+};
+
+/// A set of access notes with module-wide metadata about them.
+class AccessNotesFile {
+public:
+  /// A human-readable string describing why the access notes are being applied.
+  /// Inserted into diagnostics about access notes in the file.
+  std::string Reason;
+
+  /// Access notes to apply to the module.
+  std::vector<AccessNote> Notes;
+
+  /// Load the access notes from \p buffer, or \c None if they cannot be loaded.
+  /// Diagnoses any parsing issues with the access notes file.
+  static llvm::Optional<AccessNotesFile>
+      load(ASTContext &ctx, const llvm::MemoryBuffer *buffer);
+
+  /// Look up the access note in this file, if any, which applies to \p VD.
+  NullablePtr<const AccessNote> lookup(ValueDecl *VD) const;
+
+  void dump(llvm::raw_ostream &os) const;
+  SWIFT_DEBUG_DUMP;
+};
+
+}
+
+#endif

include/swift/AST/Decl.h

@@ -871,7 +871,7 @@ class alignas(1 << DeclAlignInBits) Decl {
   }
 
   /// \returns the unparsed comment attached to this declaration.
-  RawComment getRawComment(bool SerializedOK = false) const;
+  RawComment getRawComment(bool SerializedOK = true) const;
 
   Optional<StringRef> getGroupName() const;
 

include/swift/AST/DiagnosticsFrontend.def

@@ -123,6 +123,8 @@ ERROR(error_mode_cannot_emit_interface,none,
       "this mode does not support emitting module interface files", ())
 ERROR(error_mode_cannot_emit_module_summary,none,
       "this mode does not support emitting module summary files", ())
+ERROR(error_mode_cannot_emit_symbol_graph,none,
+      "this mode does not support emitting symbol graph files", ())
 ERROR(cannot_emit_ir_skipping_function_bodies,none,
       "the -experimental-skip-*-function-bodies* flags do not support "
       "emitting IR", ())
@@ -405,5 +407,16 @@ WARNING(module_incompatible_with_skip_function_bodies,none,
         "-experimental-skip-*-function-bodies* flags; they have "
         "been automatically disabled", (StringRef))
 
+WARNING(access_notes_file_io_error,none,
+        "ignored access notes file at '%0' because it cannot be read: %1",
+        (StringRef, StringRef))
+WARNING(error_in_access_notes_file,none,
+        "ignored access notes file because it cannot be parsed: %0",
+        (StringRef))
+REMARK(warning_in_access_notes_file,none,
+       "ignored invalid content in access notes file: %0",
+       (StringRef))
+
+
 #define UNDEFINE_DIAGNOSTIC_MACROS
 #include "DefineDiagnosticMacros.h"

include/swift/AST/DiagnosticsSema.def

@@ -4274,9 +4274,10 @@ ERROR(actor_isolated_from_escaping_closure,none,
 ERROR(local_function_executed_concurrently,none,
       "concurrently-executed %0 %1 must be marked as '@concurrent'",
       (DescriptiveDeclKind, DeclName))
-ERROR(concurrent_mutation_of_local_capture,none,
-      "mutation of captured %0 %1 in concurrently-executing code",
-      (DescriptiveDeclKind, DeclName))
+ERROR(concurrent_access_of_local_capture,none,
+      "%select{mutation of|reference to}0 captured %1 %2 in "
+      "concurrently-executing code",
+      (bool, DescriptiveDeclKind, DeclName))
 NOTE(actor_isolated_sync_func,none,
      "calls to %0 %1 from outside of its actor context are "
      "implicitly asynchronous",
@@ -4323,6 +4324,13 @@ ERROR(concurrent_value_outside_source_file,none,
       "conformance 'ConcurrentValue' must occur in the same source file as "
       "%0 %1; use 'UnsafeConcurrentValue' for retroactive conformance",
       (DescriptiveDeclKind, DeclName))
+ERROR(concurrent_value_open_class,none,
+      "open class %0 cannot conform to `ConcurrentValue`; "
+      "use `UnsafeConcurrentValue`", (DeclName))
+ERROR(concurrent_value_inherit,none,
+      "`ConcurrentValue` class %1 cannot inherit from another class"
+      "%select{| other than 'NSObject'}0",
+      (bool, DeclName))
 
 ERROR(actorindependent_let,none,
       "'@actorIndependent' is meaningless on 'let' declarations because "
@@ -5645,5 +5653,35 @@ ERROR(atomics_ordering_must_be_constant, none,
       "ordering argument must be a static method or property of %0",
       (Identifier))
 
+//------------------------------------------------------------------------------
+// MARK: access notes
+//------------------------------------------------------------------------------
+
+REMARK(attr_added_by_access_note, none,
+       "access note for %0 adds %select{attribute|modifier}1 '%2' to this %3",
+       (StringRef, bool, StringRef, DescriptiveDeclKind))
+NOTE(fixit_attr_added_by_access_note, none,
+     "add %select{attribute|modifier}0 explicitly to silence this warning",
+     (bool))
+
+REMARK(attr_removed_by_access_note, none,
+       "access note for %0 removes %select{attribute|modifier}1 '%2' from "
+       "this %3",
+       (StringRef, bool, StringRef, DescriptiveDeclKind))
+NOTE(fixit_attr_removed_by_access_note, none,
+     "remove %select{attribute|modifier}0 explicitly to silence this warning",
+     (bool))
+
+REMARK(attr_objc_name_changed_by_access_note, none,
+        "access note for %0 changes the '@objc' name of this %1 to %2",
+        (StringRef, DescriptiveDeclKind, ObjCSelector))
+NOTE(fixit_attr_objc_name_changed_by_access_note, none,
+     "change '@objc' name in source code explicitly to silence this warning",
+     ())
+REMARK(attr_objc_name_conflicts_with_access_note, none,
+       "access note for %0 changes the '@objc' name of this %1 to %2, but "
+       "source code specifies %3; the access note will be ignored",
+       (StringRef, DescriptiveDeclKind, ObjCSelector, ObjCSelector))
+
 #define UNDEFINE_DIAGNOSTIC_MACROS
 #include "DefineDiagnosticMacros.h"

include/swift/AST/Effects.h

@@ -74,4 +74,4 @@ void simple_display(llvm::raw_ostream &out, FunctionRethrowingKind value);
 
 } // end namespace swift
 
-#endif
+#endif