[Swift CI] Build Failure: 2. Swift Source Compatibility Suite (master) #4629

Development CI Notifications
1

Report

[FAILURE] swift-master-source-compat-suite [#4629]

Build URL:
https://ci.swift.org/job/swift-master-source-compat-suite/4629/
Project:
swift-master-source-compat-suite
Date of build:
Thu, 13 Feb 2020 05:22:08 -0600
Build duration:
7 hr 28 min

Changes

  • Commit 607c2984939dab5395ded1dcf41ede12de261d66 by pyaskevich:
    [Diagnostics] Refactor diagnoseAmbigutiyWithFixes to use the differences

    • edit: lib/Sema/ConstraintSystem.cpp
    • edit: test/Constraints/closures.swift
    • edit: test/Constraints/one_way_constraints.swift
    • edit: lib/Sema/ConstraintSystem.h

  • Commit 54706ba79b84fbdf9c753e8ca08a62cb229d7ec6 by pyaskevich:
    [Diagnostics] Simplify diagnoseAmbiguityWithFixes by removing

    • edit: test/Constraints/diagnostics.swift
    • edit: test/decl/subscript/subscripting.swift
    • edit: lib/Sema/ConstraintSystem.cpp

  • Commit 651c27b50baafad32a4dc8149759a8d01dba1cc0 by pyaskevich:
    [Diagnostics] Add CSFix::diagnoseForAmbiguity for diagnosing common

    • edit: lib/Sema/CSFix.cpp
    • edit: test/Sema/diag_ambiguous_overloads.swift
    • edit: test/type/protocol_composition.swift
    • edit: lib/Sema/CSFix.h
    • edit: test/Constraints/closures.swift
    • edit: test/Misc/misc_diagnostics.swift
    • edit: lib/Sema/ConstraintSystem.cpp

  • Commit 1a628f31077ca60f9f5a415b0ed7b8c3b4729212 by pyaskevich:
    [Diagnostics] Simplify logic in diagnoseAmbiguityWithFixes for emitting

    • edit: include/swift/AST/DiagnosticsSema.def
    • edit: test/Sema/diag_non_ephemeral.swift
    • edit: lib/Sema/ConstraintSystem.cpp
    • edit: test/decl/ext/protocol.swift

  • Commit d1f6b3e2efc536b6cf2c5610c8113fe757989f02 by pyaskevich:
    [Diagnostics] When diagnosing an ambiguous overload, don't mention

    • edit: include/swift/AST/DiagnosticsSema.def
    • edit: test/NameBinding/import-resolution-overload.swift
    • edit: test/Parse/super.swift
    • edit: test/Constraints/diagnostics.swift
    • edit: lib/Sema/ConstraintSystem.cpp
    • edit: test/Constraints/patterns.swift

  • Commit ab59032ebbe36bf2cb72cc46412688f0315d2152 by pyaskevich:
    [CSDiag] Remove obsolete ambiguity code.

    • edit: lib/Sema/CSDiag.cpp
    • edit: include/swift/AST/DiagnosticsSema.def

  • Commit 12dfcc495157c13f22f2c22f5c783739130147e3 by eeckstein:
    Inliner: allow the inliner generate partial_apply with an open

    • edit: lib/SILOptimizer/Utils/PerformanceInlinerUtils.cpp

  • Commit 66474ed5a2602e9059c31faa1e84957054920594 by eeckstein:
    Inliner: inline generic thunks which return a partial_apply.

    • add: test/SILOptimizer/curry-thunk-elimination.swift
    • edit: lib/SILOptimizer/Transforms/PerformanceInliner.cpp

  • Commit 55dd1c7a9459618816471190942ff0e863097a09 by spestov:
    SILGen: Small cleanup for SILGenVTable

    • edit: lib/SILGen/SILGenType.cpp

  • Commit d47d5e93239ad73134bc9e53f4754c1b5c7c61f6 by spestov:
    SILGen: Fix a formatting nit in a test

    • edit: test/SILGen/subclass_existentials.swift

  • Commit 06855f758d0d572b8d05562026cd8ad830de693e by spestov:
    AST: Remove a couple of redundant statistics

    • edit: validation-test/compiler_scale/scale_neighbouring_getset.gyb
    • edit: lib/Sema/TypeCheckStmt.cpp
    • edit: include/swift/Basic/Statistics.def
    • edit: test/Misc/stats_dir_profiler.swift

  • Commit efd357e7c709b290b4251d160394ffce07429240 by dgregor:
    [Constraint system] Factor out application to a

    • edit: lib/Sema/ConstraintSystem.h
    • edit: lib/Sema/CSApply.cpp

  • Commit 7f9029071d734670834a1cff06537ef376fbc4c8 by dgregor:
    [Constraint system] Adopt rewriteTarget for function builder transform.

    • edit: lib/Sema/CSApply.cpp
    • edit: lib/Sema/BuilderTransform.cpp
    • edit: lib/Sema/ConstraintSystem.h

  • Commit 2347829324ce1cea88e8687e2a5e8ae9fe6c6ef7 by dgregor:
    [Constraint System] Allow initialized let/var declarations in function

    • edit: test/Constraints/function_builder_diags.swift
    • edit: lib/Sema/BuilderTransform.cpp
    • edit: lib/Sema/ConstraintSystem.h
    • edit: test/Constraints/function_builder.swift

  • Commit 5437622d2da556b23ab459452d2d4bcfb0dd0d13 by pyaskevich:
    [Diagnostics] Diagnose ambiguity with conflicting arguments to generic

    • edit: lib/Sema/ConstraintSystem.cpp
    • edit: test/Sema/suppress-argument-labels-in-types.swift
    • edit: test/Sema/type_join.swift
    • edit: lib/Sema/CSFix.h
    • edit: test/Generics/deduction.swift
    • edit: test/type/opaque.swift
    • edit: lib/Sema/ConstraintSystem.h
    • edit: include/swift/AST/DiagnosticsSema.def
    • edit: lib/Sema/CSFix.cpp
    • edit: lib/Sema/CSDiagnostics.cpp
    • edit: test/decl/func/default-values.swift

  • Commit af65c0e2f360be7d99ec44d51470fc609250b6b9 by pyaskevich:
    [Diagnostics] Prioritize contextual type mismatch other ambiguities

    • edit: lib/Sema/ConstraintSystem.cpp

  • Commit 4d5c676ca9e897765f3382e0c66fb663d60f2ae4 by pyaskevich:
    [ConstraintSystem] NFC: Remove obsolete code related to fixes from

    • edit: lib/Sema/ConstraintSystem.h

  • Commit 3f10bfa74e4a946d6bb6650141d667e994e377a4 by pyaskevich:
    [Diagnostics] NFC: Rename diagnoseConflictingArguments into

    • edit: lib/Sema/ConstraintSystem.cpp

  • Commit 3c7f6d88e21f16fd42980b6aa08a53185568bdb9 by rkandhadaimadhav:
    [stdlib/private][OSLog] Add basic support for interpolating

    • edit: stdlib/private/OSLog/OSLogNSObjectType.swift
    • edit: stdlib/private/OSLog/OSLogStringAlignment.swift
    • edit: stdlib/private/OSLog/OSLog.swift
    • add: stdlib/private/OSLog/OSLogFloatingPointTypes.swift
    • edit: stdlib/private/OSLog/OSLogIntegerTypes.swift
    • edit: test/stdlib/OSLogPrototypeExecTest.swift
    • edit: test/SILOptimizer/OSLogPrototypeCompileDiagnostics.swift
    • edit: stdlib/private/OSLog/OSLogIntegerFormatting.swift
    • edit: stdlib/private/OSLog/OSLogMessage.swift
    • edit: stdlib/private/OSLog/OSLogStringTypes.swift
    • edit: test/SILOptimizer/OSLogPrototypeFullOptTest.swift
    • edit: test/SILOptimizer/OSLogConstantEvaluableTest.swift
    • edit: test/SILOptimizer/OSLogPrototypeCompileTest.swift
    • edit: stdlib/private/OSLog/CMakeLists.txt

  • Commit 202ee5b02029fae485f8e2269518952c22cdf35b by compnerd:
    build: help pave the road for a mixed Python build

    • edit: cmake/modules/SwiftHandleGybSources.cmake

  • Commit 60a210b6575d41470a454099940edc5f8b03a72f by pyaskevich:
    [ConstraintSystem] NFC: Fix a couple of typos in comments

    • edit: lib/Sema/ConstraintSystem.cpp
    • edit: test/type/opaque.swift

  • Commit b872bdfca1be8a86735c2ab13226097d5072c972 by pyaskevich:
    [Diagnostics] Replace llvm::find_if with llvm::any_of in

    • edit: lib/Sema/ConstraintSystem.cpp

  • Commit 172c2003ea5bbafa5ccd267bcbd83ea72f4f20d8 by pyaskevich:
    [Diagnostics] NFC: Add a comment about special handling of opaque result

    • edit: lib/Sema/ConstraintSystem.cpp
2 
 Assertion failed: (rootWTable && "root witness table not bound in local context!"), function emitArchetypeWitnessTableRef, file /Users/buildnode/jenkins/workspace-private/swift-master-source-compat-suite/swift/lib/IRGen/GenArchetype.cpp, line 245.
Stack dump:
1.	Apple Swift version 5.2-dev (LLVM 12c1662550, Swift 355148dbe8)
2.	While emitting IR SIL function "@$s6RxTest14XCTAssertEqual__4file4lineySayAA8RecordedVy0A5Swift5EventOyxGGG_ALs12StaticStringVSutSQRzlF".
for 'XCTAssertEqual(_:_:file:line:)' (at /Users/buildnode/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/RxSwift/RxTest/XCTest+Rx.swift:128:8)
0 swift 0x00000001098429f5 llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 37
1 swift 0x00000001098419a8 llvm::sys::RunSignalHandlers() + 248
2 swift 0x0000000109842fec SignalHandler(int) + 268
3 libsystem_platform.dylib 0x00007fff70f94b5d _sigtramp + 29
4 libsystem_platform.dylib 0x00007faac547a3c8 _sigtramp + 18446743710051752072
5 libsystem_c.dylib 0x00007fff70e4e6a6 abort + 127
6 libsystem_c.dylib 0x00007fff70e1720d basename_r + 0
7 swift 0x00000001098f1693 swift::irgen::emitArchetypeWitnessTableRef(swift::irgen::IRGenFunction&, swift::CanTypeWrapper<swift::ArchetypeType>, swift::ProtocolDecl*) (.cold.6) + 35
8 swift 0x0000000105554b03 swift::irgen::emitArchetypeWitnessTableRef(swift::irgen::IRGenFunction&, swift::CanTypeWrapper<swift::ArchetypeType>, swift::ProtocolDecl*) + 1091
9 swift 0x00000001056269ed swift::irgen::emitWitnessTableRef(swift::irgen::IRGenFunction&, swift::CanType, llvm::Value**, swift::ProtocolConformanceRef) + 189
10 swift 0x0000000105629b0b bool llvm::function_ref<bool (unsigned int, swift::CanType, swift::ProtocolDecl*)>::callback_fn<emitConditionalConformancesBuffer(swift::irgen::IRGenFunction&, swift::ProtocolConformance const*)::$_15>(long, unsigned int, swift::CanType, swift::ProtocolDecl*) + 171
11 swift 0x0000000105ddb6bd swift::SILWitnessTable::enumerateWitnessTableConditionalConformances(swift::ProtocolConformance const*, llvm::function_ref<bool (unsigned int, swift::CanType, swift::ProtocolDecl*)>) + 221
12 swift 0x0000000105629878 emitWitnessTableAccessorCall(swift::irgen::IRGenFunction&, swift::ProtocolConformance const*, llvm::Value**) + 248
13 swift 0x0000000105626a64 swift::irgen::emitWitnessTableRef(swift::irgen::IRGenFunction&, swift::CanType, llvm::Value**, swift::ProtocolConformanceRef) + 308
14 swift 0x000000010562745d swift::irgen::emitGenericRequirementFromSubstitutions(swift::irgen::IRGenFunction&, swift::CanGenericSignature, swift::ModuleDecl&, swift::irgen::GenericRequirement, swift::SubstitutionMap) + 173
15 swift 0x000000010562bcf2 void llvm::function_ref<void (swift::irgen::GenericRequirement)>::callback_fn<(anonymous namespace)::EmitPolymorphicArguments::emit(swift::SubstitutionMap, swift::irgen::WitnessMetadata*, swift::irgen::Explosion&)::$_21>(long, swift::irgen::GenericRequirement) + 34
16 swift 0x000000010562bde3 void llvm::function_ref<void (swift::irgen::GenericRequirement)>::callback_fn<(anonymous namespace)::PolymorphicConvention::enumerateUnfulfilledRequirements(llvm::function_ref<void (swift::irgen::GenericRequirement)> const&)::$_11>(long, swift::irgen::GenericRequirement) + 211
17 swift 0x00000001056200b5 swift::irgen::enumerateGenericSignatureRequirements(swift::CanGenericSignature, llvm::function_ref<void (swift::irgen::GenericRequirement)> const&) + 277
18 swift 0x0000000105626bf2 swift::irgen::emitPolymorphicArguments(swift::irgen::IRGenFunction&, swift::CanTypeWrapper<swift::SILFunctionType>, swift::SubstitutionMap, swift::irgen::WitnessMetadata*, swift::irgen::Explosion&) + 306
19 swift 0x00000001055e5c58 emitPartialApplicationForwarder(swift::irgen::IRGenModule&, llvm::Optional<swift::irgen::FunctionPointer> const&, bool, swift::irgen::Signature const&, swift::CanTypeWrapper<swift::SILFunctionType>, swift::CanTypeWrapper<swift::SILFunctionType>, swift::CanTypeWrapper<swift::SILFunctionType>, swift::SubstitutionMap, swift::irgen::HeapLayout const*, llvm::ArrayRef<swift::ParameterConvention>) + 6968
20 swift 0x00000001055e3b5c swift::irgen::emitFunctionPartialApplication(swift::irgen::IRGenFunction&, swift::SILFunction&, swift::irgen::FunctionPointer const&, llvm::Value*, swift::irgen::Explosion&, llvm::ArrayRef<swift::SILParameterInfo>, swift::SubstitutionMap, swift::CanTypeWrapper<swift::SILFunctionType>, swift::CanTypeWrapper<swift::SILFunctionType>, swift::CanTypeWrapper<swift::SILFunctionType>, swift::irgen::Explosion&, bool) + 4044
21 swift 0x000000010569601e swift::SILInstructionVisitor<(anonymous namespace)::IRGenSILFunction, void>::visit(swift::SILInstruction*) + 53406
22 swift 0x00000001056858de swift::irgen::IRGenModule::emitSILFunction(swift::SILFunction*) + 7742
23 swift 0x000000010559d991 swift::irgen::IRGenerator::emitGlobalTopLevel(llvm::StringSet<llvm::MallocAllocator>*) + 881
24 swift 0x000000010565dde3 swift::performIRGeneration(swift::IRGenOptions const&, swift::ModuleDecl*, std::__1::unique_ptr<swift::SILModule, std::__1::default_delete<swift::SILModule> >, llvm::StringRef, swift::PrimarySpecificPaths const&, llvm::LLVMContext&, llvm::ArrayRef<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > >, llvm::GlobalVariable**, llvm::StringSet<llvm::MallocAllocator>*) + 1955
25 swift 0x00000001054f9323 performCompileStepsPostSILGen(swift::CompilerInstance&, swift::CompilerInvocation const&, std::__1::unique_ptr<swift::SILModule, std::__1::default_delete<swift::SILModule> >, bool, llvm::PointerUnion<swift::ModuleDecl*, swift::SourceFile*>, swift::PrimarySpecificPaths const&, bool, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) + 2851
26 swift 0x00000001054edbf1 performCompile(swift::CompilerInstance&, swift::CompilerInvocation const&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) + 9297
27 swift 0x00000001054ea7d8 swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 4472
3

+Arnold

this is probably triggered by my change.

Arnold: is this a bug in IRGen or just something which is not supported?

4

This might be the reason why we had the constraint in the inliner wrt to opened archetypes.

5

In either case it would be good to reduce a test case and add it to our test suite.

Slava

6

This might be the reason why we had the constraint in the inliner wrt to opened archetypes.

Turns out it is a different issue. I reverted my change and filed rdar://problem/59456064 for IRGen