gnat.dg test: div_no_warning.adb

2014-02-12 Thread PARAT Didier
Hi, I'm trying to use the tests in "gcc/testsuite/gnat.dg" and I'm having trouble understanding one particular test: "gnat.dg/div_no_warning.adb". If I understand correctly, this test is expected to compile without any error or warning. When I compile this test with a native compiler gnatmake,

Run the ACATS on a ZFP runtime

2013-04-09 Thread PARAT Didier
Hi, I want to run the Ada Conformity Assessment Test Suite in gcc/testsuite/ada/acats on a ZFP runtime. But the ACATS uses packages such as ADA.TEXT_IO which are not available on a ZFP runtime. Is there any way to configure the ACATS for a ZFP runtime environment? I use GCC 4.5.2. Cheers.

RE: Using DejaGNU on GCC's Testsuite

2012-08-21 Thread PARAT Didier
b OnĀ 21/08/2012 PARAT Didier writes: > For example: The test gcc.dg/pr27528.c has the line " /* { dg-options > "" } */ " which means that this test should be compiled without any > options, right? But DejaGNU seems to pass some basic options anyway > (for ex. -O

RE: Using DejaGNU on GCC's Testsuite

2012-08-21 Thread PARAT Didier
Thanks, but how come nobody noticed that some of these tests (gcc.dg/pr27528.c and some others) needed the line { dg-options "-O0" } instead of { dg-options "" } ? - From : Jonathan Wakely On : 20/08/2012 On 20/08/2012, PARAT Didier wrote: > Hi, > > I am usi

Using DejaGNU on GCC's Testsuite

2012-08-20 Thread PARAT Didier
Hi, I am using DejaGNU on GCC's Testsuite and a problem appeared to me, some tests fail when they shouldn't be. For example: The test gcc.dg/pr27528.c has the line " /* { dg-options "" } */ " which means that this test should be compiled without any options, right? But DejaGNU seems to pass so