---

yaml
---
r: 278263
b: refs/heads/swift-5.1-old-llvm-branch
c: bf5943f
h: refs/heads/master
i:
  278261: a6b8ba5
  278259: c8ecb6d
  278255: 9418c51

Author: Toma91

[refs]

@@ -1241,7 +1241,7 @@ refs/tags/swift-DEVELOPMENT-SNAPSHOT-2019-01-24-a: b6f62823aa5010b2ae53f15f72a57
 refs/heads/marcrasi-astverifier-disable: 3fac766a23a77ebd0640296bfd7fc116ea60a4e0
 refs/heads/revert-22227-a-tall-white-fountain-played: adfce60b2eaa54903ea189bed8a783bca609fa53
 refs/heads/revert-22300-revert-22227-a-tall-white-fountain-played: 5f92040224df7dd4e618fdfb367349df64d8acad
-refs/heads/swift-5.1-old-llvm-branch: 8773f21cf54556a5e17fc31ed75d6c2242afedaa
+refs/heads/swift-5.1-old-llvm-branch: bf5943f9c2f92ed74dafad2a14e632d26fdefe87
 refs/heads/swift-5.1-branch: 8060872acb4105d9655e020fe047e1ebcd77d0fb
 refs/tags/swift-4.2.2-RELEASE: e429d1f1aaf59e69d38207a96e56265c7f6fccec
 refs/tags/swift-5.0-DEVELOPMENT-SNAPSHOT-2019-02-02-a: 3e5a03d32ff3b1e9af90d6c1198c14f938379a6e

branches/swift-5.1-old-llvm-branch/lib/SIL/SILVerifier.cpp

@@ -385,7 +385,14 @@ void verifyKeyPathComponent(SILModule &M,
     break;
   }
   case KeyPathPatternComponent::Kind::TupleElement: {
-    //llvm_unreachable("[technicated]");
+    require(loweredBaseTy.is<TupleType>(),
+            "invalid baseTy, should have been a TupleType");
+      
+    auto tupleTy = loweredBaseTy.getAs<TupleType>();
+
+    require(component.getTupleIndex() < tupleTy->getNumElements(),
+            "invalid element index, greater than # of tuple elements");
+
     break;
   }
   }