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] Keep lattice abstract in the SSA propagator, substitue lattice values at defs


> > > 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).

Well, then there's something fishy here that needs to be investigated, can you
expand on why these tests "rely on undefined signed integer overflow" ?

Arno


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