This is the mail archive of the
mailing list for the GCC project.
Richard Guenther wrote:
Well, this is just the builtin_true() that will transform
if (!builtin_true(n == MAX_UNSIGNED))
to nothing in case 3, and of course VRP and other optimizations
take advantage about the fact.
Not really, since this does not establish an invariant for n (at least
if I understand it), instead it is essentially an assertion at a
particular point in time, so presumably you have to pepper the
code with this construct at various points, even for a single