[Swift CI] Build Failure: 2. Swift Source Compatibility Suite (master) (enable-verify-exclusivity) #2070

Report

[FAILURE] swift-master-source-compat-suite-enable-verify-exclusivity [#2070]

Build URL:
https://ci.swift.org/job/swift-master-source-compat-suite-enable-verify-exclusivity/2070/
Project:
swift-master-source-compat-suite-enable-verify-exclusivity
Date of build:
Tue, 16 Jul 2019 15:51:10 -0500
Build duration:
5 hr 42 min

Changes

  • Commit 55f01d640cacea0952befd5cadf3c6dd47c0c5d0 by suyashsrijan:
    [Typechecker] Check for generic signature requirements when pechecking

    • edit: include/swift/AST/DiagnosticsSema.def
    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 24659de4005757ca972839dc074e3d39d056bced by suyashsrijan:
    [Test] Add tests

    • edit: test/attr/attr_override.swift
  • Commit f0eb093f7d1e99e2ed84a618369bb79ffe6fe055 by suyashsrijan:
    [Test] Remove dead test code

    • edit: test/attr/attr_override.swift
  • Commit 511e7532e490f1b3f53b6c688914752346c8e976 by suyashsrijan:
    [Test] Adds a test case where a concrete class inherits from a generic

    • edit: test/attr/attr_override.swift
  • Commit cde199a1ba62bf268a81f01861eac26bb59fe297 by suyashsrijan:
    [Typechecker] Check if the generic signature is null before accessing it

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 7cc59ecb92d3665be802007f3e35fda63ee2ef87 by suyashsrijan:
    [Typechecker] Pass a substitution map to requirementsNotSatisfiedBy()

    • edit: include/swift/AST/GenericSignature.h
    • edit: lib/Sema/TypeCheckDeclOverride.cpp
    • edit: lib/AST/GenericSignature.cpp
  • Commit 80cd803b8d9ffe8547c4da736791928ff9cc6553 by suyashsrijan:
    [Test] Adds a new test case that mimics a Codable class

    • edit: test/attr/attr_override.swift
  • Commit c175ccdcb251b5fdac4e070c838c7a76da6f4184 by suyashsrijan:
    [Test] Fix a typo - use expected-note and not expected-error

    • edit: test/attr/attr_override.swift
  • Commit 8c9550962c56abdbc1524c4b231b57a313d7dd95 by suyashsrijan:
    [Typechecker] Make sure superclass isn't null before accessing it

    • edit: lib/AST/GenericSignature.cpp
    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit b964cf34fe2a9f07d993b1aafa7a6c970fdd0583 by suyashsrijan:
    [Typechecker] Check for exact generic signature

    • edit: lib/AST/GenericSignature.cpp
    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 313257f09c730cfed384310e8b06205cb472fcd4 by suyashsrijan:
    [Typechecker] Check that either base requirements are not satisfied or

    • edit: lib/AST/GenericSignature.cpp
    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 3856b39b955dd259fa8cc0f9b133759d36e794de by suyashsrijan:
    [GenericSignature] Fix indentation

    • edit: lib/AST/GenericSignature.cpp
    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 38bfaf1c7ce0bb0920433a60850473ed2b285e01 by suyashsrijan:
    [Typechecker] Attempt to extract the logic from

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
    • edit: lib/AST/GenericSignature.cpp
    • edit: include/swift/AST/GenericSignature.h
  • Commit 5609cf401cac172ca8ebdccccd4671baa637cfe2 by suyashsrijan:
    [Typechecker] Fix a few crashes in getNewGenericSignature

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 60d0e23643f5b1d7d84e849191c0851f0ac6533b by suyashsrijan:
    [Typechecker] Apply review comments

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 9ca46f4e09d7e9fb9b09b389dee89099d5aadca9 by suyashsrijan:
    [Typechecker] No need to assign to subMap as its not used afterwards

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 5a46767733626f06a2e52f1deb0b0f247320b0ed by suyashsrijan:
    [Typechecker] Call baseGenericCtx->isGeneric() before calling

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 131310d9e43f7a54307cf0d3494888190d581684 by suyashsrijan:
    Apply review feedback and update diagnostic

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
    • edit: include/swift/AST/DiagnosticsSema.def
  • Commit 15039ff0b011387030cf33574727c66e0335627d by suyashsrijan:
    [Typechecker] Add derived method's generic parameters to GSB

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 923fdc705ecea407229326982b6d35e1357d908c by suyashsrijan:
    [Typechecker] Fix a crash when the superclass type is null

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
    • edit: test/attr/attr_override.swift
  • Commit 05335fed932c413b9ce4bc25f18ce6d356f11e85 by suyashsrijan:
    [Test] Add some more tests

    • edit: test/attr/attr_override.swift
  • Commit d8f8eef56dafbe382aca3de0edb553e00d8e7102 by suyashsrijan:
    [Test] Fix test class names

    • edit: test/attr/attr_override.swift
  • Commit 6082db59e93926cb1ed2a8c0d34a3f87447cd612 by suyashsrijan:
    [Typechecker] Return nullptr if base class is not present

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 0a25fef25943bf7f4e4ef3c6c3c8b5e8c417d089 by suyashsrijan:
    [Typechecker] Bail out if we don't have any generic params in the GSB,

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 13279756a01a0508e89cbf40fce58ec76da13d4c by suyashsrijan:
    [Typechecker] Change method name to getOverrideGenericSignature

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 6e7f81603f07b09a03bed665900ba4658673f9d9 by suyashsrijan:
    [Typechecker] Ensure both base and derived generic contexts are not null

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 0c39f9e9e7a8efe5c1acc631d72688fb44202042 by suyashsrijan:
    [Typechecker] Only check for

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 8282ef141b1b407ce7335d993dc11ace440f9154 by suyashsrijan:
    [Typechecker] Check for empty generic parameters early

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit c363371da8a3224b83aac8b7f6893307591404a7 by suyashsrijan:
    [Typechecker] Use early return if the base generic context does not have

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit 3b7b723e0f3671090ab4c6dd160e74611cb7a4fd by suyashsrijan:
    [Diagnostics] Fix a typo in diagnostic message

    • edit: test/attr/attr_override.swift
    • edit: include/swift/AST/DiagnosticsSema.def
  • Commit 8fc1c21951baaa052222c230323f78abd03e8d49 by suyashsrijan:
    [Test] Remove diagnostic from a test case

    • edit: test/attr/attr_override.swift
  • Commit 9b7b99da4039775ae1b31847f5e33de8d2d126af by suyashsrijan:
    [AST] Undo unnecessary indentation changes

    • edit: lib/AST/GenericSignature.cpp
    • edit: include/swift/AST/GenericSignature.h
  • Commit 537811f2bdf3274a2c29f3739d732c263da036b7 by suyashsrijan:
    [AST] Emit vtable thunk if base generic requirements are not satisfied

    • edit: lib/AST/Decl.cpp
  • Commit f5213d0d3fc3693807f5f18df7a362c2255a6d17 by suyashsrijan:
    Revert "[AST] Emit vtable thunk if base generic requirements are not

    • edit: lib/AST/Decl.cpp
  • Commit 5279f2038edfbdd8865d4058777332cce684bde6 by suyashsrijan:
    [Typechecker] Add the new generic signature to the diagnostic message

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
    • edit: test/attr/attr_override.swift
    • edit: include/swift/AST/DiagnosticsSema.def
  • Commit 4189a9187d4b03f4730f64cb8f0d460d865a49d0 by suyashsrijan:
    [Typechecker] Add base method's generic parameters instead of derived

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit cdac0c03d0db3ec59b6677b944466c5748263e00 by suyashsrijan:
    [Typechecker] Revert to using derivedGenericCtx params and rename depth

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit e16eb86bc0a880332afce996f7739aec9a516f18 by suyashsrijan:
    [Typechecker] Fix an error due to use of old variable name

    • edit: lib/Sema/TypeCheckDeclOverride.cpp
  • Commit b45d91dc55ea8473fd2878fb21e84f6649b152c9 by dcoughlin:
    [Sema] Allow unavailable extension of unavailable type in #if

    • edit: lib/Sema/TypeCheckAvailability.cpp
    • edit: test/attr/attr_availability_osx.swift
  • Commit 1983e15ef2f5ad9ca2a759801b927bf58e0eae7d by passos.luciano:
    Validate -static-stdlib on Driver::validate args and removing handles on

    • edit: lib/Driver/Driver.cpp
    • edit: lib/Driver/DarwinToolChains.cpp
    • edit: include/swift/AST/DiagnosticsDriver.def
  • Commit c95f28c9dcda9d7543b2bed446bec49eed189470 by passos.luciano:
    Moving -static-stdlib validation to Darwin toolchain.

    • edit: lib/Driver/DarwinToolChains.cpp
    • edit: lib/Driver/ToolChains.h
    • edit: lib/Driver/Driver.cpp
    • edit: include/swift/Driver/ToolChain.h
  • Commit fe49bb253752cbb86b73831b4cd93d50b626f1b2 by passos.luciano:
    Updating test/Driver tests.

    • edit: test/Driver/linker.swift
  • Commit 217887ae91e652bd03944e4910803975f3a7053c by passos.luciano:
    Fixing nitpicks.

    • edit: include/swift/Driver/ToolChain.h
    • edit: lib/Driver/DarwinToolChains.cpp
  • Commit 83ede1f3cc212f8ae2fa717ce380deb9fb88487b by passos.luciano:
    Forward declaring and improvement on warning.

    • edit: lib/Driver/DarwinToolChains.cpp
    • edit: include/swift/Driver/ToolChain.h
    • edit: test/Driver/linker.swift
    • edit: include/swift/AST/DiagnosticsDriver.def
  • Commit 7e9516a7fe1d9f115effa68116662921203e348d by passos.luciano:
    Fixing nits and unused code.

    • edit: lib/Driver/DarwinToolChains.cpp
  • Commit 53917874dd7ababe2e8b6eb0a1b8ae425141cdba by passos.luciano:
    Adding todo.

    • edit: lib/Driver/Driver.cpp
  • Commit ed432ac3029fd72bef65d04664ccd9eed91ef626 by passos.luciano:
    Missing forward

    • edit: lib/Driver/DarwinToolChains.cpp
    • edit: lib/Driver/ToolChains.h
    • edit: test/Driver/linker.swift
  • Commit 71fa7ece3fcfe4900f5a75b775efe2a7e94663db by mike.munday:
    Runtime: simplify loading and storing enum values

    • edit: stdlib/public/runtime/EnumImpl.h
    • edit: stdlib/public/runtime/Enum.cpp
  • Commit 26c4cccb4b971abae950d6a183354f70b2e3c0c7 by github:
    Convert InterpolatedStringLiteralExpr to not use tc.callWitness().

    • edit: lib/Sema/CSGen.cpp
    • edit: lib/AST/ASTVerifier.cpp
    • edit: lib/AST/Expr.cpp
    • edit: lib/AST/ASTDumper.cpp
    • edit: include/swift/AST/Expr.h
    • edit: lib/Sema/TypeCheckError.cpp
    • edit: lib/AST/ASTWalker.cpp
    • edit: lib/SILGen/SILGenExpr.cpp
    • edit: lib/Sema/CSApply.cpp
  • Commit a2ceae970b635a4079702844080dd1a7b4a297cd by compnerd:
    Platform: fix library link names

    • edit: stdlib/public/Platform/winsdk.modulemap
  • Commit 2d97c3475ba4a7159b7c29cf026745e6076f7636 by parkers:
    Delete TypeChecker::callWitness.

    • edit: lib/Sema/CSApply.cpp
    • edit: lib/Sema/TypeChecker.h
  • Commit 8b287f20faec272e951123152896a17cc37fd12f by spestov:
    Sema: Refactor maybeAddAccessorsToStorage()

    • edit: lib/Sema/CodeSynthesis.cpp
    • edit: lib/Sema/TypeCheckDecl.cpp
  • Commit ef7e573d0603f447c85f54ab0c1c77b79dfda385 by spestov:
    Serialization: Temporary workaround to validate accessors when needed

    • edit: lib/Serialization/Serialization.cpp
  • Commit ffb3ec2114f6001614a5fe55dc380b7449b869a6 by spestov:
    AST: Remove skipInaccessible argument from

    • edit: lib/Sema/DerivedConformanceCodable.cpp
    • edit: lib/AST/Decl.cpp
    • edit: include/swift/AST/Decl.h
    • edit: lib/Sema/DerivedConformanceEquatableHashable.cpp
  • Commit 7eb131eba95d1c8aba17336309997bba3ff1a52a by spestov:
    Sema: Remove TypeChecker::DelayedCircularityChecks

    • edit: lib/Sema/TypeCheckCircularity.cpp
    • edit: lib/Sema/TypeChecker.h
    • edit: lib/Sema/TypeChecker.cpp
    • edit: test/Sema/Inputs/circularity_multifile_error_helper.swift
  • Commit 96f1b95901a0fc4a4c7e98d681a2dfa5d2aff179 by spestov:
    AST: requiresNewVTableEntry() validates the declarations if needed

    • edit: lib/AST/Decl.cpp
  • Commit 25e4ca9a602cedd455df673563fa38900459658c by spestov:
    AST: Simplify Optional default initialization behavior

    • edit: lib/Sema/TypeCheckDecl.cpp
    • edit: include/swift/AST/KnownIdentifiers.def
    • edit: lib/AST/Decl.cpp
    • edit: test/Compatibility/default_init.swift
  • Commit 04eef65dfc03e434945cc9ae7ba656a93a3d88b9 by spestov:
    SIL: Validate stored properties and enum elements as needed

    • edit: lib/SIL/TypeLowering.cpp
  • Commit a347dce31471eb2d64f46985e972333e15f041a8 by spestov:
    Serialization: Actually set VarDecl::isLazyStorageProperty() when

    • edit: lib/Serialization/Deserialization.cpp