This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Bogus trees from Ada front-end (more VRP vs Ada) stuff)
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: law at redhat dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Mon, 6 Mar 06 19:26:25 EST
- Subject: Re: Bogus trees from Ada front-end (more VRP vs Ada) stuff)
Here's the relevant bits from the .original dump
if (side - 1 <= 1)
Of particular interest is the (side - 1 <= 1) conditional which is
implementing this hunk of code from the Trim function:
if Side = Right or else Side = Both then
I think it's time to hand this one to the Ada guys :-0
I don't. This sounds like fold is merging the two comparisons above
incorrectly into the one upper comparison. It can do the merge, but it
needs to convert to base types first.