https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120701
--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> ---
Definitely something amok. in dom3 I'm seeing:
range_of_expr(_131) at stmt _134 = _131 * -1101344938;
TRUE : (3439) range_of_expr (_131) [irange] int [-1494798553,
-5][-1, -1][3, 652685091][652685095, 652685095][652685099, +INF] MASK
0xfffffffc VALUE 0x3
and when we look for _134, we're coming up with:
TRUE : (3442) range_of_expr (_134) [irange] int [-INF,
-INF][1101344938, 1101344938][-INF, 2147483646] MASK 0xfffffffe VALUE 0x0
Which is a completely invalid range... And that has been stored as the global
range. My guess is the last subrange should be the entire range, but something
went awry.
Im having a look.
