Repository navigation
SsaRangePropagation propagates range information from optional asserts #163779
Description
#[inline(never)]
pub fn on_arith_overflow(a: u32, b: u32) -> bool {
let _ = std::ops::Add::add(a, b);
a.overflowing_add(b).1
}Currently compiles, with optimizations enabled and overflow-checks off (the default release profile or -O):
bb0: {
_3 = AddWithOverflow(copy _1, copy _2);
assert(!copy (_3.1: bool), "attempt to compute `{} + {}`, which would overflow", copy _1, copy _2) -> [success: bb1, unwind continue];
}
bb1: {
_0 = const false;
return;
}or in LLVM:
start:
ret i1 falseFound via LLM
Activity
theemathas commentedon Oct 5, 2026
As per zulip, this regressed in #150309, which shipped in 1.95.0.
cc @dianqk, @cjgillot (author and reviewer of regressing PR)
theemathas commentedon Oct 5, 2026
Playground reproducer: https://play.rust-lang.org/?version=stable&mode=release&edition=2024&gist=fa3bc42374b91e6b0b159c4e89efc146
ChayimFriedman2 commentedon Oct 5, 2026
Note that this does not reproduce with
+before theoverflowing_add(), you need to call theAdd::add()method. Which explains why this wasn't found, and also that this is probably related to#[rustc_inherit_overflow_checks].Rollup merge of rust-lang#163780 - saethlin:rangeprop-asserts, r=dianqk
Rollup merge of rust-lang#163780 - saethlin:rangeprop-asserts, r=dianqk
Unrolled build for #163780 in rollup 163829