Skip to content

Use the symbol_name query instead of trying to infer from the link_name attribute #3724

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
Jul 2, 2024

Conversation

bjorn3
Copy link
Member

@bjorn3 bjorn3 commented Jul 1, 2024

This prevents the calculated name from going out of sync with exported_symbols. It also avoids having to special case the panic_impl lang item.

It also makes it easier to fix miri with rust-lang/rust#127173.

…me attribute

This prevents the calculated name from going out of sync with
exported_symbols. It also avoids having to special case the panic_impl
lang item.
@bjorn3 bjorn3 force-pushed the use_symbol_name_query branch from 8ab5755 to 332db9a Compare July 1, 2024 18:04
@RalfJung
Copy link
Member

RalfJung commented Jul 2, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Jul 2, 2024

📌 Commit 332db9a has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 2, 2024

⌛ Testing commit 332db9a with merge 4b454fd...

@bors
Copy link
Contributor

bors commented Jul 2, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 4b454fd to master...

@bors bors merged commit 4b454fd into rust-lang:master Jul 2, 2024
8 checks passed
@bjorn3 bjorn3 deleted the use_symbol_name_query branch July 2, 2024 11:07
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants