Merge pull request #5751 from jtbandes/validation-ignore-unchecked

[Sema] Skip UNCHECKED_EXPRs in ErrorHandlingWalker

Author: slavapestov

lib/Sema/TypeCheckError.cpp

@@ -210,6 +210,13 @@ class ErrorHandlingWalker : public ASTWalker {
     } else if (auto apply = dyn_cast<ApplyExpr>(E)) {
       recurse = asImpl().checkApply(apply);
     }
+    // Error handling validation (via checkTopLevelErrorHandling) happens after
+    // type checking. If an unchecked expression is still around, the code was
+    // invalid.
+#define UNCHECKED_EXPR(KIND, BASE) \
+    else if (isa<KIND##Expr>(E)) return {false, nullptr};
+#include "swift/AST/ExprNodes.def"
+
     return {bool(recurse), E};
   }
 

validation-test/compiler_crashers/28496-args-size-fnref-getnumargumentsforfullapply-partial-application-was-throwing.swift renamed to validation-test/compiler_crashers_fixed/28496-args-size-fnref-getnumargumentsforfullapply-partial-application-was-throwing.swift

@@ -5,6 +5,6 @@
 // See http://swift.org/LICENSE.txt for license information
 // See http://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
 
-// RUN: not --crash %target-swift-frontend %s -emit-ir
+// RUN: not %target-swift-frontend %s -emit-ir
 // REQUIRES: asserts
 assert||()->s