https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68097
Bug ID: 68097
Summary: We should track ranges for floating-point values too
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: enhancement
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: rsandifo at gcc dot gnu.org
Target Milestone: ---
We have functions to query things like whether a real is nonnegative and
whether it is integer-valued. At the moment we recurse through SSA name
definitions, limited by --param max-ssa-name-query-depth, but it would be
better to record this information alongside the SSA name, as range_info_def
does for integers.
