-
-
Notifications
You must be signed in to change notification settings - Fork 16k
Remove -Zemit-thin-lto flag #152490
Copy link
Copy link
Closed
Labels
A-LTOArea: Link-time optimization (LTO)Area: Link-time optimization (LTO)C-cleanupCategory: PRs that clean code up or issues documenting cleanup.Category: PRs that clean code up or issues documenting cleanup.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Description
Activity
Metadata
Metadata
Assignees
Labels
A-LTOArea: Link-time optimization (LTO)Area: Link-time optimization (LTO)C-cleanupCategory: PRs that clean code up or issues documenting cleanup.Category: PRs that clean code up or issues documenting cleanup.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
As far as I can tell it was introduced in #98162 to allow fat LTO with
-Clinker-plugin-lto. Since #136840 we already automatically disable ThinLTO summary generation when-Clinker-plugin-lto -Clto=fatis used, so I think we can remove it. Seahorn is the only user I found on github. I asked in seahorn/verify-rust#6 to confirm my understanding that-Zemit-thin-ltois no longer necessary.