This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada] Fix problem in convert_with_check
> 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>
* fold-const.c (fold_comparison): New subroutine of fold_binary
containing transformations common to both the equality and
ordering relational operators, factored out of fold_binary.
(fold_binary): Separate out the equality operators (EQ_EXPR
and NE_EXPR) from the ordering operators (LT_EXPR, GT_EXPR,
LE_EXPR and GE_EXPR), calling fold_comparison to perform the
transformations common to both.
(fold_div_compare): Fix latent bugs in the previously unreachable
LT_EXPR and GE_EXPR cases.
It's now PR ada/26561 and I've assigned it to me.
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.
--
Eric Botcazou