https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69526
--- Comment #23 from amker at gcc dot gnu.org ---
(In reply to rdapp from comment #19)
> (In reply to rguent...@suse.de from comment #18)
> 2.
> Is there an idiomatic/correct way to check a VR_RANGE for overflow? Does it
> suffice to check if the range includes +-INF or +-INF(OVF)? I suspect other,
> naive methods like checking if min < max will fail, since the ranges are
> canonicalized.
Hmm, not sure if I mis-understood your point.
I think there is no *overflow* concept for a VR_RANGE (or a variable), overflow
is always a semantic concept for an (arithmetic) operation. Take below loop as
an example:
unsigned int i;
for (i = 4; i != 2; i += 2)
{
//....
}
Variable i has VR_RANGE [0, MAX_VALUE - 1], but it does overflow in the loop.
