[PATCH] Simplify (x<y) && (x==y) into x <= y.

Joseph S. Myers jsm28@cam.ac.uk
Thu Jun 6 07:19:00 GMT 2002


On Thu, 6 Jun 2002, Roger Sayle wrote:

> tripped up by signedness issues and a third to check that the warning
> messages are issued when expected.

I believe "when expected" should be for the original sources, not for
something that GCC generates internally.  (See the example ((u ^= 3) != 1)
in c99-bool-1.c, which RTH wrongly marked as dg-warning rather than
dg-bogus xfail.)  Fixing this however requires a substantial overhaul of
how constant folding is done for C; I've put some consideration into how
to do that and fix the various problems with constant expression
constraint checking at the same time.

-- 
Joseph S. Myers
jsm28@cam.ac.uk



More information about the Gcc-patches mailing list