56 Commits

Author	SHA1	Message	Date
Andrew Trick	ac457abab9	LifetimeDependenceUseDefWalker: track the owner of the value.	2024-02-12 09:57:14 -08:00
Andrew Trick	63413916a1	LifetimeDependenceDiagnostics; handle @_unsafeNonescapableResult.	2024-02-12 09:57:14 -08:00
Andrew Trick	8b24382494	SwiftCompilerSources: cleanup and extend ArgumentConventions ... Provide APIs needed by lifetime dependence diagnostics, namely LifetimeDependenceConvention. Reorganize the APIs so it's easy to find related functionality which API is responsible for which functionality. Remove the originalFunctionConvention complexity. It is no longer needed for lifetime dependence inference, and generally should be avoided in SIL. Add some placeholder FIXMEs because this not a good PR in which to change existing functionality.	2024-02-12 09:57:14 -08:00
Andrew Trick	ddceffaf3b	LifetimeDependenceDiagnostics pass ... Initial diagnostic pass to enforce ~Escapable types.	2024-01-30 11:45:55 -08:00
Andrew Trick	25cff623ab	Improve LifetimeDependenceUtils	2024-01-30 08:38:57 -08:00
Andrew Trick	2ef870a52b	Add LifetimeDependence utilities	2024-01-22 23:57:03 -08:00