This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Keep lattice abstract in the SSA propagator, substitue lattice values at defs
On Wed, 4 Aug 2010, Arnaud Charlet wrote:
> > Bootstrapped and tested on x86_64-unknown-linux-gnu. c52102b
> > and c52102d now fail, because they rely on undefined signed integer
> > overflow.
>
> Ada ACATS tests do not rely on signed integer overflow: Ada has built-in
> overflow checks as part of the language, but this capability requires the
> -gnato switch.
>
> If these tests are failing, it means the -gnato switch is missing on these
> tests.
>
> Can you please fix that by updating gcc/testsuite/ada/acats/overflow.lst ?
> Thanks in advance.
Adding -gnato doesn't fix the testcases (checked c52102b).
Richard.