Skip to content

fix: Allow LTO to eliminate dead code#1942

Merged
davidlattimore merged 2 commits into
mainfrom
push-nkkrnnwvmmrv
May 15, 2026
Merged

fix: Allow LTO to eliminate dead code#1942
davidlattimore merged 2 commits into
mainfrom
push-nkkrnnwvmmrv

Conversation

@davidlattimore

@davidlattimore davidlattimore commented May 15, 2026

Copy link
Copy Markdown
Member

Fixes #1905

@marxin

marxin commented May 15, 2026

Copy link
Copy Markdown
Collaborator

Nice work - I’ll run another round of testing once this is merged.

@davidlattimore davidlattimore merged commit 58f3e10 into main May 15, 2026
46 of 47 checks passed
@davidlattimore davidlattimore deleted the push-nkkrnnwvmmrv branch May 15, 2026 05:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Dead code not eliminated during LTO

2 participants