Conversation
|
rustbot has assigned @Mark-Simulacrum. Use Why was this reviewer chosen?The reviewer was selected based on:
|
b5f3d53 to
ee13dce
Compare
ee13dce to
aee14eb
Compare
|
This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed. Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers. |
|
@rfcbot fcp merge opsem is what I meant... |
|
@RalfJung has proposed to merge this. The next step is review by the rest of the tagged team members: No concerns currently listed. Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up! cc @rust-lang/lang-advisors: FCP proposed for lang, please feel free to register concerns. |
|
I don't have any concerns with this either. For a long time |
|
🔔 This is now entering its final comment period, as per the review above. 🔔 |
We left this conservative in #115476. That means the following code is currently UB:
I think this code should be allowed. Zulip discussion also led to the conclusion that this should be fine in LLVM -- the
nounwindattribute does not affect the ABI. This is widely relied upon in the C ecosystem when doing calls between C and C++.Cc @nikic to confirm.
I am not sure why #115476 left this conservative. There was discussion about explicitly listing the ABIs rather than saying this holds universally for all
*-unwindthat we may add in the future, but there was no discussion I could find about allowing a mismatch both ways.Cc @rust-lang/opsem @rust-lang/lang