Re: [Ada] Fix problem in convert_with_check

2006-03-08 Thread Jeffrey A Law
On Wed, 2006-03-08 at 17:21 +0100, Eric Botcazou wrote: > > One more note, we see the same kind of conditional and test > > simplification with for cxa4028 in Ada.Strings.Superbounded.Super_Trim. > > So I'm pretty confident that if we fix the bogus trees generated for > > a-stwifi.adb that all thre

Re: [Ada] Fix problem in convert_with_check

2006-03-08 Thread Eric Botcazou
> One more note, we see the same kind of conditional and test > simplification with for cxa4028 in Ada.Strings.Superbounded.Super_Trim. > So I'm pretty confident that if we fix the bogus trees generated for > a-stwifi.adb that all three of these regressions will be fixed. Confirmed. -- Eric Botc

Re: [Ada] Fix problem in convert_with_check

2006-03-06 Thread Jeffrey A Law
On Mon, 2006-03-06 at 00:31 +0100, Eric Botcazou wrote: > 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 ca