[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [avr-gcc-list] Success running the testsuite with avrtest
From: |
Paulo Marques |
Subject: |
Re: [avr-gcc-list] Success running the testsuite with avrtest |
Date: |
Thu, 17 Jan 2008 12:13:04 +0000 |
User-agent: |
Internet Messaging Program (IMP) H3 (4.1.2) |
Quoting "Dmitry K." <address@hidden>:
On Thursday 17 January 2008 14:57, Paulo Marques wrote:
[...]
Although there are 66 tests that FAIL, only 51 are execution failures,
and 15 are compilation failures. These 51 failures correspond to just
10 programs that fail to execute, with different optimization options
(-O0, -O1, etc.):
[...]
A big progress!
Thanks :)
Nevertheless, the next (after cmp) test is aborted:
com.c:
#define ABORT_PORT 0x49
#define abort() do { *(volatile char *)ABORT_PORT = 0; } while (0)
int main ()
{
volatile unsigned char a = 0xff;
unsigned char b;
if ((b = ~a) != 0) abort ();
return b;
}
Thank you for finding this, and for providing such a simple test case.
How do you come up with these tests? You're actually reading avrtest
source code , finding bugs and then coming up with code that exposes
them, aren't you?
Attached is a new version that fixes this, as usual ;)
The testsuite with this version gives the same result, though.
I have already started to doubt in quality of GCC's tests.
So simple mistakes remain not noticed?
I guess most of the tests (if not all) are tests for bugs that gcc had
at some point, and are there so that gcc doesn't regress. Maybe gcc
never had a bug that involved the complement operation :)
--
Paulo Marques
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
avrtest.tar.gz
Description: GNU Zip compressed data
- Re: [avr-gcc-list] Success running the testsuite with avrtest, (continued)
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Dmitry K., 2008/01/16
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Paulo Marques, 2008/01/16
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Dmitry K., 2008/01/16
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Paulo Marques, 2008/01/16
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Paulo Marques, 2008/01/16
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Paulo Marques, 2008/01/17
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Dmitry K., 2008/01/17
- Re: [avr-gcc-list] Success running the testsuite with avrtest,
Paulo Marques <=
- RE: [avr-gcc-list] Success running the testsuite with avrtest, Weddington, Eric, 2008/01/17
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Dmitry K., 2008/01/17
- RE: [avr-gcc-list] Success running the testsuite with avrtest, Weddington, Eric, 2008/01/17
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Dmitry K., 2008/01/17
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Paulo Marques, 2008/01/17
- [avr-gcc-list] Problem where R0 gets used, Andrew Hutchinson, 2008/01/18
- Re: [avr-gcc-list] Problem where R0 gets used, Erik Christiansen, 2008/01/18
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Dmitry K., 2008/01/18
- Re: [avr-gcc-list] Success running the testsuite with avrtest, Paulo Marques, 2008/01/18