---

yaml
---
r: 348791
b: refs/heads/master
c: 7c1c58e
h: refs/heads/master
i:
  348789: 992a26a
  348787: adf49b6
  348783: 7237653

Author: drodriguez

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 2f3ec72ca9fc6e78f866c93a17f1dcaa7735d1c8
+refs/heads/master: 7c1c58ebeb66b1fd16caced7abe79b7a67d832de
 refs/heads/master-next: 203b3026584ecad859eb328b2e12490099409cd5
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea

trunk/CHANGELOG.md

@@ -4,27 +4,27 @@ CHANGELOG
 <details>
 <summary>Note: This is in reverse chronological order, so newer entries are added to the top.</summary>
 
-| Version                | Released   | Toolchain   |
-| :--------------------- | :--------- | :---------- |
-| [Swift 5.2](#swift-52) |            |             |
-| [Swift 5.1](#swift-51) | 2019-09-20 | Xcode 11.0  |
-| [Swift 5.0](#swift-50) | 2019-03-25 | Xcode 10.2  |
-| [Swift 4.2](#swift-42) | 2018-09-17 | Xcode 10.0  |
-| [Swift 4.1](#swift-41) | 2018-03-29 | Xcode 9.3   |
-| [Swift 4.0](#swift-40) | 2017-09-19 | Xcode 9.0   |
-| [Swift 3.1](#swift-31) | 2017-03-27 | Xcode 8.3   |
-| [Swift 3.0](#swift-30) | 2016-09-13 | Xcode 8.0   |
-| [Swift 2.2](#swift-22) | 2016-03-21 | Xcode 7.3   |
-| [Swift 2.1](#swift-21) | 2015-10-21 | Xcode 7.1   |
-| [Swift 2.0](#swift-20) | 2015-09-17 | Xcode 7.0   |
-| [Swift 1.2](#swift-12) | 2015-04-08 | Xcode 6.3   |
-| [Swift 1.1](#swift-11) | 2014-12-02 | Xcode 6.1.1 |
-| [Swift 1.0](#swift-10) | 2014-09-15 | Xcode 6.0   |
+| Contents               |
+| :--------------------- |
+| [Swift Next](#swift-next) |
+| [Swift 5.1](#swift-51) |
+| [Swift 5.0](#swift-50) |
+| [Swift 4.2](#swift-42) |
+| [Swift 4.1](#swift-41) |
+| [Swift 4.0](#swift-40) |
+| [Swift 3.1](#swift-31) |
+| [Swift 3.0](#swift-30) |
+| [Swift 2.2](#swift-22) |
+| [Swift 2.1](#swift-21) |
+| [Swift 2.0](#swift-20) |
+| [Swift 1.2](#swift-12) |
+| [Swift 1.1](#swift-11) |
+| [Swift 1.0](#swift-10) |
 
 </details>
 
-Swift 5.2
----------
+Swift Next
+----------
 
 * [SR-11429][]:
 

trunk/include/swift/AST/ASTTypeIDZone.def

@@ -26,7 +26,6 @@ SWIFT_TYPEID(Type)
 SWIFT_TYPEID(TypePair)
 SWIFT_TYPEID_NAMED(CustomAttr *, CustomAttr)
 SWIFT_TYPEID_NAMED(Decl *, Decl)
-SWIFT_TYPEID_NAMED(EnumDecl *, EnumDecl)
 SWIFT_TYPEID_NAMED(GenericParamList *, GenericParamList)
 SWIFT_TYPEID_NAMED(GenericTypeParamType *, GenericTypeParamType)
 SWIFT_TYPEID_NAMED(InfixOperatorDecl *, InfixOperatorDecl)

trunk/include/swift/AST/ASTTypeIDs.h

@@ -25,7 +25,6 @@ class AbstractFunctionDecl;
 class BraceStmt;
 class CustomAttr;
 class Decl;
-class EnumDecl;
 class GenericParamList;
 class GenericSignature;
 class GenericTypeParamType;

trunk/include/swift/AST/Decl.h

@@ -3519,37 +3519,12 @@ class NominalTypeDecl : public GenericTypeDecl, public IterableDeclContext {
 class EnumDecl final : public NominalTypeDecl {
   SourceLoc EnumLoc;
 
-  enum SemanticInfoFlags : uint8_t {
-    // Is the raw type valid?
-    HasComputedRawType         = 1 << 0,
-    // Is the complete set of (auto-incremented) raw values available?
-    HasFixedRawValues          = 1 << 1,
-    // Is the complete set of raw values type checked?
-    HasFixedRawValuesAndTypes  = 1 << 2,
-  };
-  
   struct {
     /// The raw type and a bit to indicate whether the
     /// raw was computed yet or not.
-    llvm::PointerIntPair<Type, 3, OptionSet<SemanticInfoFlags>> RawTypeAndFlags;
-    
-    bool hasRawType() const {
-      return RawTypeAndFlags.getInt().contains(HasComputedRawType);
-    }
-    void cacheRawType(Type ty) {
-      auto flags = RawTypeAndFlags.getInt() | HasComputedRawType;
-      RawTypeAndFlags.setPointerAndInt(ty, flags);
-    }
-    
-    bool hasFixedRawValues() const {
-      return RawTypeAndFlags.getInt().contains(HasFixedRawValues);
-    }
-    bool hasCheckedRawValues() const {
-      return RawTypeAndFlags.getInt().contains(HasFixedRawValuesAndTypes);
-    }
+    llvm::PointerIntPair<Type, 1, bool> RawType;
   } LazySemanticInfo;
 
-  friend class EnumRawValuesRequest;
   friend class EnumRawTypeRequest;
   friend class TypeChecker;
 
@@ -3608,9 +3583,6 @@ class EnumDecl final : public NominalTypeDecl {
     Bits.EnumDecl.Circularity = static_cast<unsigned>(circularity);
   }
 
-  /// Record that this enum has had all of its raw values computed.
-  void setHasFixedRawValues();
-  
   // Implement isa/cast/dyncast/etc.
   static bool classof(const Decl *D) {
     return D->getKind() == DeclKind::Enum;
@@ -3640,11 +3612,9 @@ class EnumDecl final : public NominalTypeDecl {
 
   /// Set the raw type of the enum from its inheritance clause.
   void setRawType(Type rawType) {
-    auto flags = LazySemanticInfo.RawTypeAndFlags.getInt();
-    LazySemanticInfo.RawTypeAndFlags.setPointerAndInt(
-        rawType, flags | HasComputedRawType);
+    LazySemanticInfo.RawType.setPointerAndInt(rawType, true);
   }
-
+  
   /// True if none of the enum cases have associated values.
   ///
   /// Note that this is true for enums with absolutely no cases.
@@ -6384,8 +6354,6 @@ class EnumCaseDecl final : public Decl,
 /// parent EnumDecl, although syntactically they are subordinate to the
 /// EnumCaseDecl.
 class EnumElementDecl : public DeclContext, public ValueDecl {
-  friend class EnumRawValuesRequest;
-  
   /// This is the type specified with the enum element, for
   /// example 'Int' in 'case Y(Int)'.  This is null if there is no type
   /// associated with this element, as in 'case Z' or in all elements of enum
@@ -6426,20 +6394,9 @@ class EnumElementDecl : public DeclContext, public ValueDecl {
 
   ParameterList *getParameterList() const { return Params; }
 
-  /// Retrieves a fully typechecked raw value expression associated
-  /// with this enum element, if it exists.
-  LiteralExpr *getRawValueExpr() const;
-  
-  /// Retrieves a "structurally" checked raw value expression associated
-  /// with this enum element, if it exists.
-  ///
-  /// The structural raw value may or may not have a type set, but it is
-  /// guaranteed to be suitable for retrieving any non-semantic information
-  /// like digit text for an integral raw value or user text for a string raw value.
-  LiteralExpr *getStructuralRawValueExpr() const;
-  
-  /// Reset the raw value expression.
-  void setRawValueExpr(LiteralExpr *e);
+  bool hasRawValueExpr() const { return RawValueExpr; }
+  LiteralExpr *getRawValueExpr() const { return RawValueExpr; }
+  void setRawValueExpr(LiteralExpr *e) { RawValueExpr = e; }
 
   /// Return the containing EnumDecl.
   EnumDecl *getParentEnum() const {
@@ -6462,10 +6419,6 @@ class EnumElementDecl : public DeclContext, public ValueDecl {
   bool isIndirect() const {
     return getAttrs().hasAttribute<IndirectAttr>();
   }
-  
-  /// Do not call this!
-  /// It exists to let the AST walkers get the raw value without forcing a request.
-  LiteralExpr *getRawValueUnchecked() const { return RawValueExpr; }
 
   static bool classof(const Decl *D) {
     return D->getKind() == DeclKind::EnumElement;

trunk/include/swift/AST/DiagnosticConsumer.h

@@ -38,17 +38,10 @@ enum class DiagnosticKind : uint8_t {
   Note
 };
 
-/// Information about a diagnostic passed to DiagnosticConsumers.
+/// Extra information carried along with a diagnostic, which may or
+/// may not be of interest to a given diagnostic consumer.
 struct DiagnosticInfo {
   DiagID ID = DiagID(0);
-  SourceLoc Loc;
-  DiagnosticKind Kind;
-  StringRef FormatString;
-  ArrayRef<DiagnosticArgument> FormatArgs;
-  SourceLoc BufferIndirectlyCausingDiagnostic;
-
-  /// DiagnosticInfo of notes which are children of this diagnostic, if any
-  ArrayRef<DiagnosticInfo *> ChildDiagnosticInfo;
 
   /// Represents a fix-it, a replacement of one range of text with another.
   class FixIt {
@@ -67,24 +60,6 @@ struct DiagnosticInfo {
 
   /// Extra source ranges that are attached to the diagnostic.
   ArrayRef<FixIt> FixIts;
-
-  /// This is a note which has a parent error or warning
-  bool IsChildNote = false;
-
-  DiagnosticInfo() {}
-
-  DiagnosticInfo(DiagID ID, SourceLoc Loc, DiagnosticKind Kind,
-                 StringRef FormatString,
-                 ArrayRef<DiagnosticArgument> FormatArgs,
-                 SourceLoc BufferIndirectlyCausingDiagnostic,
-                 ArrayRef<DiagnosticInfo *> ChildDiagnosticInfo,
-                 ArrayRef<CharSourceRange> Ranges, ArrayRef<FixIt> FixIts,
-                 bool IsChildNote)
-      : ID(ID), Loc(Loc), Kind(Kind), FormatString(FormatString),
-        FormatArgs(FormatArgs),
-        BufferIndirectlyCausingDiagnostic(BufferIndirectlyCausingDiagnostic),
-        ChildDiagnosticInfo(ChildDiagnosticInfo), Ranges(Ranges),
-        FixIts(FixIts), IsChildNote(IsChildNote) {}
 };
 
 /// Abstract interface for classes that present diagnostics to the user.

trunk/include/swift/AST/DiagnosticEngine.h

@@ -337,9 +337,7 @@ namespace swift {
     SmallVector<DiagnosticArgument, 3> Args;
     SmallVector<CharSourceRange, 2> Ranges;
     SmallVector<FixIt, 2> FixIts;
-    std::vector<Diagnostic> ChildNotes;
     SourceLoc Loc;
-    bool IsChildNote = false;
     const Decl *Decl = nullptr;
 
     friend DiagnosticEngine;
@@ -364,13 +362,10 @@ namespace swift {
     ArrayRef<DiagnosticArgument> getArgs() const { return Args; }
     ArrayRef<CharSourceRange> getRanges() const { return Ranges; }
     ArrayRef<FixIt> getFixIts() const { return FixIts; }
-    ArrayRef<Diagnostic> getChildNotes() const { return ChildNotes; }
-    bool isChildNote() const { return IsChildNote; }
     SourceLoc getLoc() const { return Loc; }
     const class Decl *getDecl() const { return Decl; }
 
     void setLoc(SourceLoc loc) { Loc = loc; }
-    void setIsChildNote(bool isChildNote) { IsChildNote = isChildNote; }
     void setDecl(const class Decl *decl) { Decl = decl; }
 
     /// Returns true if this object represents a particular diagnostic.
@@ -391,8 +386,6 @@ namespace swift {
     void addFixIt(FixIt &&F) {
       FixIts.push_back(std::move(F));
     }
-
-    void addChildNote(Diagnostic &&D);
   };
 
   /// Describes an in-flight diagnostic, which is currently active
@@ -672,8 +665,7 @@ namespace swift {
 
     friend class InFlightDiagnostic;
     friend class DiagnosticTransaction;
-    friend class CompoundDiagnosticTransaction;
-
+    
   public:
     explicit DiagnosticEngine(SourceManager &SourceMgr)
         : SourceMgr(SourceMgr), ActiveDiagnostic(),
@@ -886,15 +878,6 @@ namespace swift {
       return diagnose(decl, Diagnostic(id, std::move(args)...));
     }
 
-    /// Emit a parent diagnostic and attached notes.
-    ///
-    /// \param parentDiag An InFlightDiagnostic representing the parent diag.
-    ///
-    /// \param builder A closure which builds and emits notes to be attached to
-    /// the parent diag.
-    void diagnoseWithNotes(InFlightDiagnostic parentDiag,
-                           llvm::function_ref<void(void)> builder);
-
     /// \returns true if diagnostic is marked with PointsToFirstBadToken
     /// option.
     bool isDiagnosticPointsToFirstBadToken(DiagID id) const;
@@ -922,10 +905,6 @@ namespace swift {
     /// Retrieve the active diagnostic.
     Diagnostic &getActiveDiagnostic() { return *ActiveDiagnostic; }
 
-    /// Generate DiagnosticInfo for a Diagnostic to be passed to consumers.
-    Optional<DiagnosticInfo>
-    diagnosticInfoForDiagnostic(const Diagnostic &diagnostic);
-
     /// Send \c diag to all diagnostic consumers.
     void emitDiagnostic(const Diagnostic &diag);
 
@@ -966,7 +945,6 @@ namespace swift {
   /// in LIFO order. An open transaction is implicitly committed upon
   /// destruction.
   class DiagnosticTransaction {
-  protected:
     DiagnosticEngine &Engine;
 
     /// How many tentative diagnostics there were when the transaction
@@ -990,6 +968,7 @@ namespace swift {
         Depth(Engine.TransactionCount),
         IsOpen(true)
     {
+      assert(!Engine.ActiveDiagnostic);
       Engine.TransactionCount++;
     }
 
@@ -1032,61 +1011,6 @@ namespace swift {
              "transactions must be closed LIFO");
     }
   };
-
-  /// Represents a diagnostic transaction which constructs a compound diagnostic
-  /// from any diagnostics emitted inside. A compound diagnostic consists of a
-  /// parent error, warning, or remark followed by a variable number of child
-  /// notes. The semantics are otherwise the same as a regular
-  /// DiagnosticTransaction.
-  class CompoundDiagnosticTransaction : public DiagnosticTransaction {
-  public:
-    explicit CompoundDiagnosticTransaction(DiagnosticEngine &engine)
-        : DiagnosticTransaction(engine) {}
-
-    ~CompoundDiagnosticTransaction() {
-      if (IsOpen) {
-        commit();
-      }
-
-      if (Depth == 0) {
-        Engine.TransactionStrings.clear();
-        Engine.TransactionAllocator.Reset();
-      }
-    }
-
-    void commit() {
-      assert(PrevDiagnostics < Engine.TentativeDiagnostics.size() &&
-             "CompoundDiagnosticTransaction must contain at least one diag");
-
-      // The first diagnostic is assumed to be the parent. If this is not an
-      // error or warning, we'll assert later when trying to add children.
-      Diagnostic &parent = Engine.TentativeDiagnostics[PrevDiagnostics];
-
-      // Associate the children with the parent.
-      for (auto diag =
-               Engine.TentativeDiagnostics.begin() + PrevDiagnostics + 1;
-           diag != Engine.TentativeDiagnostics.end(); ++diag) {
-        diag->setIsChildNote(true);
-        parent.addChildNote(std::move(*diag));
-      }
-
-      // Erase the children, they'll be emitted alongside their parent.
-      Engine.TentativeDiagnostics.erase(Engine.TentativeDiagnostics.begin() +
-                                            PrevDiagnostics + 1,
-                                        Engine.TentativeDiagnostics.end());
-
-      DiagnosticTransaction::commit();
-    }
-  };
-
-  inline void
-  DiagnosticEngine::diagnoseWithNotes(InFlightDiagnostic parentDiag,
-                                      llvm::function_ref<void(void)> builder) {
-    CompoundDiagnosticTransaction transaction(*this);
-    parentDiag.flush();
-    builder();
-  }
-
 } // end namespace swift
 
 #endif