This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH][Ada] XFAIL ACATS c380004 and c953002, update and importtests from ACATS 2.5L


On Mon, 10 Jan 2005, Richard Kenner wrote:
> As I said at the time, any Gigi patch that purports to "fix" c380004 has
> to be wrong because the front end really *is* generating a type whose
> size overflows.  So if a change makes it *not* overflow, that change
> must be wrong.

I believe you're mistaken!  The size of the type created by Gigi doesn't
overflow, but GNAT's poor estimates of the bounds on the type's size, as
given by min_size and max_size do overflow.  Previous versions of GCC were
able to provide more accurate size bounds on the type (which is why c38004
passed with earlier versions of GCC), but this analysis depended upon
fold to perform transformations that were often not beneficial to code
generation.


Roger
--


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]