PoC: Integer range analysis - #15342

Draft

RunDevelopment wants to merge 16 commits into

rust-lang:masterfrom

RunDevelopment:range_analysis

Commits on Jul 25, 2025

PoC: Integer range analysis
RunDevelopment
committed
2de42d3
issue7486
RunDevelopment
committed
aee8049
Merge branch 'master' into range_analysis
RunDevelopment
committed
5856838
Removed unused imports
RunDevelopment
committed
c06f5dc

Commits on Aug 2, 2025

Commits on Aug 4, 2025

Merge branch 'master' into range_analysis
RunDevelopment
committed
f2f2dd2
Support more methods and improve interval arithmetic
RunDevelopment
committed
96b8dbe
Use range analysis in `cast_possible_truncation`
RunDevelopment
committed
bf98325
Cache evaluated expressions
RunDevelopment
committed
9174eb9
Improve formatting for numeric ranges
RunDevelopment
committed
42b1800
Remove notes that don't add information
RunDevelopment
committed
1fb924e
Improved branch behavior
RunDevelopment
committed
fe13b7d