Summary of outstanding compiler crashers

jtbandes · February 10, 2017, 6:57am

This may or may not be practically useful to anyone, but I've collected a
summary of the currently outstanding compiler crashers, somewhat
categorized:

gist.github.com

https://gist.github.com/jtbandes/95ebf031d0ae4890d4dc3dc79e2bb4fa

swift-crashers.md

A summary of [compiler crashers](https://github.com/apple/swift/tree/master/validation-test/compiler_crashers) still open as of 2017/2/9. Thanks to @slavapestov for further diagnosis on several of these.

# Fixed!

By @rudkx in https://github.com/apple/swift/pull/7481:

* `struct A{let d}A(_,print())` [28654-hastype-e-expected-type-to-have-been-set.swift](https://github.com/apple/swift/blob/master/validation-test/compiler_crashers/28654-hastype-e-expected-type-to-have-been-set.swift)

* `A(_{}struct A{var f` [28590-exprtypes-e-isequal-e-gettype-expected-type-in-map-to-be-the-same-type-in-expres.swift](https://github.com/apple/swift/blob/master/validation-test/compiler_crashers/28590-exprtypes-e-isequal-e-gettype-expected-type-in-map-to-be-the-same-type-in-expres.swift)

This file has been truncated. show original

Slava has additionally offered, on Twitter,

28482 root cause is a name lookup bug. It should not be finding 'd' in

the first place.

All the circular inheritance and inheritance clause ones can be fixed by

plumbing thru ITC more.

The OpenExistentialExpr ones are all due to missing Proto.instanceMethod

thunk generation.

The two with "lazy" need to be fixed by changing how we emit the lazy var

getter so we don't type check it twice.

Douglas_Gregor · February 12, 2017, 3:53am

Very cool, thank you!

- Doug

···

On Feb 9, 2017, at 10:57 PM, Jacob Bandes-Storch via swift-dev <swift-dev@swift.org> wrote:

This may or may not be practically useful to anyone, but I've collected a summary of the currently outstanding compiler crashers, somewhat categorized:

swift-crashers.md · GitHub

Slava has additionally offered, on Twitter,

> 28482 root cause is a name lookup bug. It should not be finding 'd' in the first place.

> All the circular inheritance and inheritance clause ones can be fixed by plumbing thru ITC more.

> The OpenExistentialExpr ones are all due to missing Proto.instanceMethod thunk generation.

> The two with "lazy" need to be fixed by changing how we emit the lazy var getter so we don't type check it twice.