https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97628
--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> ---
Right, the warning only triggers for constrained ranges (i.e., not for
VARYING). The argument the range comes from is a PHI:
<ssa_name 0x7fffea9c60d8
type <integer_type 0x7fffea8105e8 int sizes-gimplified public SI
size <integer_cst 0x7fffea7f7f18 constant 32>
unit-size <integer_cst 0x7fffea7f7f30 constant 4>
align:32 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7fffea8105e8 precision:32 min <integer_cst 0x7fffea7f7ed0 -2147483648> max
<integer_cst 0x7fffea7f7ee8 2147483647> context <translation_unit_decl
0x7fffea9a44b0 /build/tmp/pr97628.c>
pointer_to_this <pointer_type 0x7fffea8189d8>>
visited var <parm_decl 0x7fffea9a8080 num>
def_stmt num_93 = PHI <num_108(12), num_96(13)>
version:93>
