Commit Graph

3 Commits

Author SHA1 Message Date
Andrew Trick 91046aff37 Fix LifetimeDependence scope analysis to recognize throws of Never.
Handle a protocol that has a default implementation that returns a ~Escapable
value and also has a typed throw that defaults to Never.

I believe this "regression" appeared when typed throws were adopted in more
APIs.

Fixes rdar://178685863 (CxxIterableIterator escapes its scope)
2026-06-08 21:28:08 -07:00
Jakub Florek 07ac8b3478 Add new loop invariant code motion. 2025-08-28 21:00:33 +01:00
Erik Eckstein e89fdb56ba SwiftCompilerSources: move SIL-related datastructures from the Optimizer to the SIL module 2025-07-28 14:19:07 +02:00