This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [testsuite, ada] Convert ACATS to DejaGnu (PR testsuite/37703)
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Rainer Orth <ro at cebitec dot uni-bielefeld dot de>
- Cc: gcc-patches at gcc dot gnu dot org, Arnaud Charlet <charlet at adacore dot com>, Laurent Guerby <laurent at guerby dot net>
- Date: Mon, 31 Jan 2011 18:09:51 +0100
- Subject: Re: [testsuite, ada] Convert ACATS to DejaGnu (PR testsuite/37703)
- References: <yddr5bt6nxw.fsf@manam.CeBiTec.Uni-Bielefeld.DE>
> The 64-bit -fstack-check failures may be due to the fact that I've
> doubled the stack size limit for the make check run to account for a few
> non-Ada tests that fail with the default, but have not yet implemented
> this snippet in run_acats in DejaGnu:
>
> # Limit the stack to 16MB for stack checking
> ulimit -s 16384
Yes, it is required to properly test stack checking.
> As you will see, the implementation is full of FIXME comments, debug
> logging, lacks error checking and some cleanup, and I've not yet
> verified that the set of tests run is identical to the current one.
> I'll also have to tune the parallelization to make sure that the various
> parts take roughly the same time.
Please avoid hard-coding -O2 in the tests, put only -gnat95, -gnato, etc.
> Anyway, here we go; comments welcome.
Maybe we should investigate switching to ACATS 3.0 in the process:
http://www.ada-auth.org/acats.html
--
Eric Botcazou