Skip to content

ssa-range-prop: fix ICE when encountering self-domiating bb#156001

Open
Human9000-bit wants to merge 2 commits intorust-lang:mainfrom
Human9000-bit:ssa-range-prop-155836
Open

ssa-range-prop: fix ICE when encountering self-domiating bb#156001
Human9000-bit wants to merge 2 commits intorust-lang:mainfrom
Human9000-bit:ssa-range-prop-155836

Conversation

@Human9000-bit
Copy link
Copy Markdown
Contributor

@Human9000-bit Human9000-bit commented Apr 30, 2026

  • Add strictly_dominates method
  • fix ice in ssa-range-prop

Fixes #155836

r? dianqk

It used to ICE when hitting an `assert_ne!(location.block, successor.block` due
to hitting a self-dominating bb

Fixed by checking *strict* domination instead of normal one
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Apr 30, 2026

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[ICE]: ssa_range_prop.rs:168:25: assertion left != right failed on opt-level 2

3 participants