---

yaml
---
r: 348744
b: refs/heads/master
c: 1e0d927
h: refs/heads/master

Author: compnerd

[refs]

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

trunk/docs/WindowsBuild.md

@@ -186,13 +186,11 @@ cmake -G "Visual Studio 2017" -A x64 -T "host=x64"^ ...
 md "S:\b\lldb"
 cd "S:\b\lldb"
 cmake -G Ninja^
+  -DLLVM_DIR="S:/b/llvm/lib/cmake/llvm"^
+  -DClang_DIR="S:/b/llvm/lib/cmake/clang"^
+  -DSwift_DIR="S:/b/swift/lib/cmake/swift"^
   -DCMAKE_BUILD_TYPE=RelWithDebInfo^
   -DLLDB_ALLOW_STATIC_BINDINGS=YES^
-  -DLLDB_PATH_TO_CLANG_SOURCE="S:\clang"^
-  -DLLDB_PATH_TO_SWIFT_SOURCE="S:\swift"^
-  -DLLDB_PATH_TO_CLANG_BUILD="S:\b\llvm"^
-  -DLLDB_PATH_TO_LLVM_BUILD="S:\b\llvm"^
-  -DLLDB_PATH_TO_SWIFT_BUILD="S:\b\swift"^
   -DLLVM_ENABLE_ASSERTIONS=ON^
   -DPYTHON_HOME="%ProgramFiles(x86)%\Microsoft Visual Studio\Shared\Python37_64"^
   S:\lldb

trunk/include/swift/ClangImporter/ClangImporterOptions.h

@@ -103,8 +103,7 @@ class ClangImporterOptions {
     using llvm::hash_combine;
 
     auto Code = hash_value(ModuleCachePath);
-    Code = hash_combine(Code, llvm::hash_combine_range(ExtraArgs.begin(),
-                                                       ExtraArgs.end()));
+    // ExtraArgs ignored - already considered in Clang's module hashing.
     Code = hash_combine(Code, OverrideResourceDir);
     Code = hash_combine(Code, TargetCPU);
     Code = hash_combine(Code, BridgingHeader);

trunk/lib/Sema/CSDiagnostics.cpp

@@ -94,19 +94,18 @@ Expr *FailureDiagnostic::findParentExpr(Expr *subExpr) const {
   return E ? E->getParentMap()[subExpr] : nullptr;
 }
 
-Expr *
-FailureDiagnostic::getArgumentListExprFor(ConstraintLocator *locator) const {
-  auto path = locator->getPath();
-  auto iter = path.begin();
-  if (!locator->findFirst<LocatorPathElt::ApplyArgument>(iter))
-    return nullptr;
-
-  // Form a new locator that ends at the ApplyArgument element, then simplify
-  // to get the argument list.
-  auto newPath = ArrayRef<LocatorPathElt>(path.begin(), iter + 1);
-  auto &cs = getConstraintSystem();
-  auto argListLoc = cs.getConstraintLocator(locator->getAnchor(), newPath);
-  return simplifyLocatorToAnchor(argListLoc);
+Expr *FailureDiagnostic::getArgumentExprFor(Expr *anchor) const {
+  if (auto *UDE = dyn_cast<UnresolvedDotExpr>(anchor)) {
+    if (auto *call = dyn_cast_or_null<CallExpr>(findParentExpr(UDE)))
+      return call->getArg();
+  } else if (auto *UME = dyn_cast<UnresolvedMemberExpr>(anchor)) {
+    return UME->getArgument();
+  } else if (auto *call = dyn_cast<CallExpr>(anchor)) {
+    return call->getArg();
+  } else if (auto *SE = dyn_cast<SubscriptExpr>(anchor)) {
+    return SE->getIndex();
+  }
+  return nullptr;
 }
 
 Expr *FailureDiagnostic::getBaseExprFor(Expr *anchor) const {
@@ -837,18 +836,21 @@ bool GenericArgumentsMismatchFailure::diagnoseAsError() {
 }
 
 bool LabelingFailure::diagnoseAsError() {
-  auto *argExpr = getArgumentListExprFor(getLocator());
+  auto &cs = getConstraintSystem();
+  auto *anchor = getRawAnchor();
+
+  auto *argExpr = getArgumentExprFor(anchor);
   if (!argExpr)
     return false;
 
-  auto &cs = getConstraintSystem();
-  auto *anchor = getRawAnchor();
   return diagnoseArgumentLabelError(cs.getASTContext(), argExpr, CorrectLabels,
                                     isa<SubscriptExpr>(anchor));
 }
 
 bool LabelingFailure::diagnoseAsNote() {
-  auto *argExpr = getArgumentListExprFor(getLocator());
+  auto *anchor = getRawAnchor();
+
+  auto *argExpr = getArgumentExprFor(anchor);
   if (!argExpr)
     return false;
 
@@ -4179,8 +4181,7 @@ bool ClosureParamDestructuringFailure::diagnoseAsError() {
 
 bool OutOfOrderArgumentFailure::diagnoseAsError() {
   auto *anchor = getRawAnchor();
-  auto *argExpr = isa<TupleExpr>(anchor) ? anchor
-                                         : getArgumentListExprFor(getLocator());
+  auto *argExpr = isa<TupleExpr>(anchor) ? anchor : getArgumentExprFor(anchor);
   if (!argExpr)
     return false;
 
@@ -4829,7 +4830,7 @@ bool InvalidTupleSplatWithSingleParameterFailure::diagnoseAsError() {
 
   auto *choice = selectedOverload->choice.getDecl();
 
-  auto *argExpr = getArgumentListExprFor(getLocator());
+  auto *argExpr = getArgumentExprFor(getRawAnchor());
   if (!argExpr)
     return false;
 

trunk/lib/Sema/CSDiagnostics.h

@@ -166,11 +166,9 @@ class FailureDiagnostic {
   /// `x.foo` or `x[0]` extract and return its base expression.
   Expr *getBaseExprFor(Expr *anchor) const;
 
-  /// For a given locator describing an argument application, or a constraint
-  /// within an argument application, returns the argument list for that
-  /// application. If the locator is not for an argument application, or
-  /// the argument list cannot be found, returns \c nullptr.
-  Expr *getArgumentListExprFor(ConstraintLocator *locator) const;
+  /// \returns An argument expression if given anchor is a call, member
+  /// reference or subscript, nullptr otherwise.
+  Expr *getArgumentExprFor(Expr *anchor) const;
 
   /// \returns The overload choice made by the constraint system for the callee
   /// of a given locator's anchor, or \c None if no such choice can be found.

trunk/lib/Sema/CSSimplify.cpp

@@ -902,7 +902,7 @@ class ArgumentFailureTracker : public MatchCallArgumentListener {
       }
     }
 
-    auto *locator = CS.getConstraintLocator(Locator);
+    auto *locator = CS.getConstraintLocator(anchor);
     auto *fix = RelabelArguments::create(CS, newLabels, locator);
     CS.recordFix(fix);
     // Re-labeling fixes with extraneous labels should take

trunk/stdlib/public/core/FloatingPointTypes.swift.gyb

@@ -1263,7 +1263,7 @@ internal struct _${Self}AnyHashableBox: _AnyHashableBox {
 
 ${SelfDocComment}
 @frozen
-@available(*, unavailable, message: "Float80 is not available on target platform.")
+@available(*, unavailable, message: "Float80 is only available on non-Windows x86 targets.")
 public struct ${Self} {
   /// Creates a value initialized to zero.
   @_transparent

trunk/test/ClangImporter/pch-bridging-header.swift

@@ -46,12 +46,6 @@
 // RUN: not %target-swift-frontend -typecheck %s -import-objc-header %S/Inputs/sdk-bridging-header.h -pch-output-dir %t/no-pch -pch-disable-validation 2>&1 | %FileCheck %s -check-prefix=NO-VALIDATION
 // NO-VALIDATION: PCH file {{.*}} not found
 
-// Test that -Xcc options are considered in the PCH hash.
-// RUN: %target-swift-frontend -emit-pch -pch-output-dir %t/pch-Xcc %S/Inputs/sdk-bridging-header.h
-// RUN: %target-swift-frontend -emit-pch -pch-output-dir %t/pch-Xcc %S/Inputs/sdk-bridging-header.h -Xcc -Ifoo
-// RUN: %target-swift-frontend -emit-pch -pch-output-dir %t/pch-Xcc %S/Inputs/sdk-bridging-header.h -Xcc -Ibar
-// RUN: ls %t/pch-Xcc/*swift*clang*.pch | count 3
-
 import Foundation
 
 let not = MyPredicate.not()

trunk/test/expr/unary/keypath/keypath.swift

@@ -504,11 +504,8 @@ func testLabeledSubscript() {
   let k = \AA.[labeled: 0]
 
   // TODO: These ought to work without errors.
-  let _ = \AA.[keyPath: k] // expected-error {{incorrect argument label in call (have 'keyPath:', expected 'labeled:')}}
-  // expected-error@-1 {{cannot convert value of type 'KeyPath<AA, Int>' to expected argument type 'Int'}}
-
-  let _ = \AA.[keyPath: \AA.[labeled: 0]] // expected-error {{incorrect argument label in call (have 'keyPath:', expected 'labeled:')}}
-  // expected-error@-1 {{cannot convert value of type 'KeyPath<AA, Int>' to expected argument type 'Int'}}
+  let _ = \AA.[keyPath: k] // expected-error{{}}
+  let _ = \AA.[keyPath: \AA.[labeled: 0]] // expected-error{{}}
 }
 
 func testInvalidKeyPathComponents() {
@@ -833,34 +830,6 @@ func test_keypath_inference_with_optionals() {
   }
 }
 
-func sr11562() {
-  struct S1 {
-    subscript(x x: Int) -> Int { x }
-  }
-
-  _ = \S1.[5] // expected-error {{missing argument label 'x:' in call}} {{12-12=x: }}
-
-  struct S2 {
-    subscript(x x: Int) -> Int { x } // expected-note {{incorrect labels for candidate (have: '(_:)', expected: '(x:)')}}
-    subscript(y y: Int) -> Int { y } // expected-note {{incorrect labels for candidate (have: '(_:)', expected: '(y:)')}}
-  }
-
-  _ = \S2.[5] // expected-error {{no exact matches in call to subscript}}
-
-  struct S3 {
-    subscript(x x: Int, y y: Int) -> Int { x }
-  }
-
-  _ = \S3.[y: 5, x: 5] // expected-error {{argument 'x' must precede argument 'y'}}
-
-  struct S4 {
-    subscript(x: (Int, Int)) -> Int { x.0 }
-  }
-
-  _ = \S4.[1, 4] // expected-error {{subscript expects a single parameter of type '(Int, Int)'}} {{12-12=(}} {{16-16=)}}
-  // expected-error@-1 {{subscript index of type '(Int, Int)' in a key path must be Hashable}}
-}
-
 func testSyntaxErrors() { // expected-note{{}}
   _ = \.  ; // expected-error{{expected member name following '.'}}
   _ = \.a ;