Re: Using DejaGNU on GCC's Testsuite

2012-08-21 Thread Andreas Schwab
PARAT Didier writes: > If no options are passed to DejaGNU for the GCC testsuite, > it will take default ones in testsuite/lib/gcc-dg.exp and > testsuite/lib/c-torture.exp. So 'dg' tests, as well as c-torture, > use basic options. gcc.dg/dg.exp doesn't use gcc-dg-runtest (and never did). Andre

RE: Using DejaGNU on GCC's Testsuite

2012-08-21 Thread PARAT Didier
If no options are passed to DejaGNU for the GCC testsuite, it will take default ones in testsuite/lib/gcc-dg.exp and testsuite/lib/c-torture.exp. So 'dg' tests, as well as c-torture, use basic options. By the way, I'm working on gcc-4.5.2 (gnat-6.4.2) - FromĀ : Andreas Schwab OnĀ 21/08/2012

Re: Using DejaGNU on GCC's Testsuite

2012-08-21 Thread Andreas Schwab
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. -O1, -O2, etc...) Does it? Only c-torture tests nor

Re: Using DejaGNU on GCC's Testsuite

2012-08-21 Thread Jonathan Wakely
On 21 August 2012 09:20, PARAT Didier wrote: > > 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 "" } ? Probably because they're not failing for most people, see e.g. http://gcc.gnu.or

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

Re: Using DejaGNU on GCC's Testsuite

2012-08-20 Thread Jonathan Wakely
On 20/08/2012, PARAT Didier wrote: > 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 "" } > */ " wh

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, rig