bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Detect overflow when the literal is larger than i128::MAX

Browse source
This commit is contained in:
spore 2025-01-08 18:31:29 +08:00
parent 6f2ca607bc
commit be2369708a
1 changed files with 7 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_lint/src/types/literal.rs
View file

@ -206,12 +206,15 @@ fn get_type_suggestion(t: Ty<'_>, val: u128, negative: bool) -> Option<&'static
ty::Uint(_) => Some(Integer::fit_unsigned(val).uint_ty_str()), ty::Uint(_) => Some(Integer::fit_unsigned(val).uint_ty_str()),
ty::Int(_) if negative => Some(Integer::fit_signed(-(val as i128)).int_ty_str()), ty::Int(_) if negative => Some(Integer::fit_signed(-(val as i128)).int_ty_str()),
ty::Int(int) => { ty::Int(int) => {
let signed = Integer::fit_signed(val as i128);
let unsigned = Integer::fit_unsigned(val); let unsigned = Integer::fit_unsigned(val);
Some(if Some(unsigned.size().bits()) == int.bit_width() { Some(if let Ok(signed) = i128::try_from(val).map(Integer::fit_signed) {
if Some(unsigned.size().bits()) == int.bit_width() {
unsigned.uint_ty_str() unsigned.uint_ty_str()
} else { } else {
signed.int_ty_str() signed.int_ty_str()
}
} else {
unsigned.uint_ty_str()
}) })
} }
_ => None, _ => None,