[Ada] Fix problem in convert_with_check
Jeffrey A Law
law@redhat.com
Mon Mar 6 16:43:00 GMT 2006
On Mon, 2006-03-06 at 00:31 +0100, Eric Botcazou wrote:
> > Thanks. A half-dozen to go.... I know how I'm spending Monday :-)
>
> The failures are all present if ACATS is run at -O0.
>
> c34004a, c46033a and cxg2024 have been introduced/exposed by
>
> 2006-02-24 Roger Sayle <roger@eyesopen.com>
[ ... ]
Thanks. That saved me considerable time already; I would have
been looking at c340004a this morning :-)
> cxa4025 and cxa4033 are very likely yours, originating in a miscompilation of
> the runtime (a-stwifi.adb) at -O2. They succeed if the aforementioned unit
> is compiled at -O2 -fno-tree-vrp. You can pass -a to gnatmake to cause the
> units to be recompiled locally. Same for cxa4028 but with a-strsup.adb.
Also a huge help as I'm not exactly fast at analyzing execution
Ada failures :-) I'm working on these now.
Thanks!
jeff
More information about the Gcc-patches
mailing list