This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Testing compiler reliability using Csmith
- From: Andi Kleen <ak at linux dot intel dot com>
- To: Radu Ometita <radu dot ometita at iohk dot io>
- Cc: gcc at gcc dot gnu dot org, Philip Wadler <philip dot wadler at iohk dot io>, gsocsameeran at gmail dot com
- Date: Thu, 06 Dec 2018 16:02:09 -0800
- Subject: Re: Testing compiler reliability using Csmith
- References: <9E61E004-96ED-48F7-8DCC-8739096F2310@iohk.io>
Radu Ometita <radu.ometita@iohk.io> writes:
> Hello everyone!
>
> We are working on writing a paper about testing the reliability of C compilers by using Csmith (a random C99 program generator).
>
> A previous testing effort, using Csmith, found 79 GCC bugs, and 25 of
> those have been marked by developers as P1
> (https://www.flux.utah.edu/download?uid=114
> <https://www.flux.utah.edu/download?uid=114>): . However, after this
> paper was published we are unaware of any further testing using
> Csmith, and we would like to ask you, if you are aware of any such
> efforts or further results.
Sameeran has been doing some additional testing with modified csmith.
There's currently no systematic effort to run csmith regularly
to find regressions.
-Andi