[Swift CI] Build Failure: 2. Swift Source Compatibility Suite (main) #5577

Development CI Notifications
1

# [FAILURE] swift-main-source-compat-suite [#5577]

Build URL: https://ci.swift.org/job/swift-main-source-compat-suite/5577/
Project: swift-main-source-compat-suite
Date of build: Sun, 08 Nov 2020 22:18:03 -0600
Build duration: 12 hr

Identified problems:- Jenkins Error: This build failed because of a Jenkins Error; typically a Java exception.

Changes- Commit e0199f2d98c17d4d1dcab48f71961c607bbe216b by hborla:

Add condition for optimizing series of binops that every possible overload is (T,T)->T, with no (T,T)->U

  • add: test/Constraints/sr10324.swift

  • edit: lib/Sema/CSGen.cpp

  • Commit 2edba9dfbd884b865a38274411c82d0fa97072cc by hborla:

    Instead of chaining binops, favor disjunctions with op overloads whose types match existing binding choices

    • edit: lib/Sema/CSSolver.cpp
    • edit: include/swift/Sema/Constraint.h
    • edit: lib/Sema/CSGen.cpp
    • edit: lib/Sema/CSStep.h

  • Commit c84bd00819f5f3900146df88690eb30a47b427c7 by hborla:

    [ConstraintSystem] Move getResolvedOverloads() from CSStep to ConstraintSystem.

    • edit: include/swift/Sema/ConstraintSystem.h
    • edit: lib/Sema/CSStep.h

  • Commit b06f749f0ee53ba6fef2cd6ce1fda34f3b7a3539 by hborla:

    [ConstraintSystem] Fix build failures and formatting.

    • edit: lib/Sema/CSSolver.cpp

  • Commit ab6d92b1cd84fa85b684adae578278dc01aa15ad by hborla:

    Favor operators based on existing binds via both basename and type

    • edit: lib/Sema/CSSolver.cpp
    • edit: include/swift/Sema/ConstraintSystem.h
    • edit: lib/Sema/CSStep.cpp

  • Commit 34fa9c27866ac888fc84928e87805b281547b242 by hborla:

    Merge typevars of operators with shared decls after finding a solution to speed up further searching

    • edit: lib/Sema/CSStep.cpp
    • edit: lib/Sema/CSStep.h

  • Commit cb64d7f715b9550c565131fafdf031e52f42283a by hborla:

    [ConstraintSystem] Fix build failures.

    • edit: lib/Sema/CSStep.h
    • edit: lib/Sema/CSStep.cpp

  • Commit 91291c77487a11199d7639933007a968cd866637 by hborla:

    Dump disjunction possibilities on multiple aligned lines for better readability.

    • edit: lib/Sema/Constraint.cpp

  • Commit b9e08b23fbbcef742f3b09965d3b150f001c1abc by hborla:

    [ConstraintSystem] Allow the solver to find other solutions after

    • edit: lib/Sema/CSStep.h
    • edit: include/swift/Sema/ConstraintSystem.h
    • edit: lib/Sema/CSStep.cpp

  • Commit 8dd2008f7e61c2fb8ce4025801df8ce592b68187 by hborla:

    [Test] Adjust type checker performance tests

    • delete: validation-test/Sema/type_checker_perf/slow/rdar23682605.swift
    • add: validation-test/Sema/type_checker_perf/fast/rdar23861629.swift
    • add: validation-test/Sema/type_checker_perf/fast/rdar23682605.swift
    • add: validation-test/Sema/type_checker_perf/fast/expression_too_complex_4.swift
    • delete: validation-test/Sema/type_checker_perf/slow/expression_too_complex_4.swift
    • delete: validation-test/Sema/type_checker_perf/slow/rdar23429943.swift
    • add: validation-test/Sema/type_checker_perf/fast/rdar22022980.swift
    • add: validation-test/Sema/type_checker_perf/fast/rdar23429943.swift
    • edit: validation-test/Sema/type_checker_perf/slow/fast-operator-typechecking.swift
    • delete: validation-test/Sema/type_checker_perf/slow/rdar23861629.swift
    • delete: validation-test/Sema/type_checker_perf/slow/rdar22022980.swift
    • edit: validation-test/Sema/type_checker_perf/fast/rdar18360240.swift.gyb

  • Commit c9100c46e70a5e0348686f1494a40a09e5b3eec8 by hborla:

    [ConstraintSystem] Instead of favoring existing operator bindings,

    • edit: lib/Sema/CSSolver.cpp

  • Commit a8fcdb8580673742c21953a6a4d30e91e620b59f by hborla:

    [ConstraintSystem] Remove an unnecessary SIMD special case in

    • edit: lib/Sema/CSStep.cpp

  • Commit 423d6bdff076285b02c7a6152baf6a85149ec8ef by hborla:

    [ConstraintSystem] Re-instate the operator type variable merging

    • edit: lib/Sema/CSGen.cpp
    • edit: test/Constraints/sr10324.swift
    • edit: lib/Sema/CSStep.h

  • Commit 0d8a1619c6320cec3b918ace1f7befcc73345672 by hborla:

    [NFC][ConstraintSystem] Update the documentation for

    • edit: lib/Sema/CSSolver.cpp

  • Commit 099560813eb9ffc02273928aee7bfa7e629c9d61 by hborla:

    [ConstraintSystem] Only factor in existing operator bindings in

    • edit: validation-test/Sema/type_checker_perf/slow/fast-operator-typechecking.swift
    • add: validation-test/Sema/type_checker_perf/slow/rdar23682605.swift
    • edit: lib/Sema/CSSolver.cpp
    • delete: validation-test/Sema/type_checker_perf/fast/rdar23682605.swift

  • Commit abfc90303c278ec0124ba7f1be5178fffaacd761 by hborla:

    [ConstraintSystem] For generic operators, only consider exact decls that

    • edit: lib/Sema/CSSolver.cpp

  • Commit 12dce859a2e9178ec0d74cce284b70ada65ed815 by hborla:

    [NFC][ConstraintSystem] Use llvm::count_if for the count methods on

    • edit: include/swift/Sema/Constraint.h

  • Commit 2507a3155d70ea803819473ff0aff46ed2b2130f by hborla:

    [Test] Add a slow type checker test case from source compatibility suite.

    • add: validation-test/Sema/type_checker_perf/slow/mixed_string_array_addition.swift

  • Commit 2ef7a212cd02669e389b0e446b27dd6e620ab67c by mgottesman:

    [ownership] Rename the cases of UseLifetimeConstraint to use clearer language

    • edit: include/swift/SIL/SILValue.h
    • edit: lib/SIL/IR/SILValue.cpp
    • edit: test/SILOptimizer/ownership-kind-dumper.sil
    • edit: test/SIL/ownership-verifier/over_consume.sil
    • edit: lib/SIL/IR/OperandOwnership.cpp
    • edit: test/SIL/ownership-verifier/undef.sil

  • Commit 642a993702622c72250ab5f3f0f5d5aa1f8b7bd3 by mgottesman:

    [ownership] Rename Operand::isConsumingUse() -> Operand::isLifetimeEnding().

    • edit: lib/SIL/Utils/OwnershipUtils.cpp
    • edit: lib/SILOptimizer/Transforms/CopyPropagation.cpp
    • edit: include/swift/SIL/SILValue.h
    • edit: lib/SILOptimizer/SemanticARC/BorrowScopeOpts.cpp
    • edit: lib/SILOptimizer/SemanticARC/OwnershipLiveRange.cpp
    • edit: lib/SILOptimizer/Utils/InstOptUtils.cpp
    • edit: lib/SIL/Verifier/SILOwnershipVerifier.cpp