https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49330
--- Comment #36 from Namniav <namniav at gmail dot com> --- (In reply to Richard Biener from comment #35) > It's "subtle" only in a way showing that we simplify ia == ib ? ia : ib > to ib and that we simplify (int *)(uintptr_t)(&b + 1) to (&b + 1). But it's in the branch of `if (ia == ib)`. Did you mean that the result of `ia == ib` is allowed to be inconsistent?
