Use ParamEnv::reveal_all in CFI by compiler-errors · Pull Request #128580 · rust-lang/rust (original) (raw)
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Conversation11 Commits1 Checks0 Files changed
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters
[ Show hidden characters]({{ revealButtonHref }})
I left a huge comment for why this ICEs in the test I committed.
typeid_for_instance should only be called on monomorphic instances during codegen, and we should just be using ParamEnv::reveal_all() rather than the param-env of the instance itself. I added an assertion to ensure that we only do this for fully substituted instances (this may break with polymorphization, but I kinda don't care lol).
r? @davidtwco
rustbot has assigned @davidtwco.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.
Use r? to explicitly pick a reviewer
Some changes occurred in compiler/rustc_sanitizers
cc @rust-lang/project-exploit-mitigations, @rcvalle
Some changes occurred in tests/ui/sanitizer
cc @rust-lang/project-exploit-mitigations, @rcvalle
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
h'lo the grammar checker in my brain found a red squiggle.
📌 Commit b0beb64 has been approved by lcnr
It is now in the queue for this repository.
bors added S-waiting-on-bors
Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
and removed S-waiting-on-review
Status: Awaiting review from the assignee but also interested parties.
labels
bors added a commit to rust-lang-ci/rust that referenced this pull request
…iaskrgr
Rollup of 5 pull requests
Successful merges:
- rust-lang#122049 (Promote riscv64gc-unknown-linux-musl to tier 2)
- rust-lang#128580 (Use
ParamEnv::reveal_allin CFI) - rust-lang#128688 (custom MIR: add support for tail calls)
- rust-lang#128694 (Normalize when equating
dyntails in MIR borrowck) - rust-lang#128697 (interpret: move nullary-op evaluation into operator.rs)
r? @ghost
@rustbot modify labels: rollup
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request
Rollup merge of rust-lang#128580 - compiler-errors:cfi-param-env, r=lcnr
Use ParamEnv::reveal_all in CFI
I left a huge comment for why this ICEs in the test I committed.
typeid_for_instance should only be called on monomorphic instances during codegen, and we should just be using ParamEnv::reveal_all() rather than the param-env of the instance itself. I added an assertion to ensure that we only do this for fully substituted instances (this may break with polymorphization, but I kinda don't care lol).
Fixes rust-lang#114160
cc @rcvalle
Labels
Project group: Exploit mitigations
Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Relevant to the compiler team, which will review and decide on the PR/issue.