https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120231
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
CC| |amacleod at redhat dot com,
| |jakub at gcc dot gnu.org
Status|UNCONFIRMED |NEW
Last reconfirmed| |2025-05-12
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
I think we don't have value range handlers for casts from integers to floating
point, from floating point to integers and their reverse operations, and it
would certainly be desirable to add those.
Say if we know that some integer SSA_NAME has [42, 48] range, then the frange
when that is converted to say double will be [42.0, 48.0]. Of course, when the
boundary values can't be converted exactly, we need to take it into account
etc.
