Re: Testing compiler reliability using Csmith

2018-12-07 Thread sameeran joshi
Hi, we had reported 1 issue (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87118) Using the extended csmith for gcc c language extensions. We are currently working on adding more extensions to it and fuzzing in background. Thanks, Sameeran joshi On Fri 7 Dec, 2018, 9:07 PM Jeff Law, wrote: > O

Re: Testing compiler reliability using Csmith

2018-12-07 Thread Kyrill Tkachov
Hi Radu, On 06/12/18 22:10, Radu Ometita wrote: 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 dev

Re: Testing compiler reliability using Csmith

2018-12-07 Thread Jeff Law
On 12/6/18 5:02 PM, Andi Kleen wrote: > Radu Ometita 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

Re: Testing compiler reliability using Csmith

2018-12-06 Thread Andi Kleen
Radu Ometita 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 > (

Testing compiler reliability using Csmith

2018-12-06 Thread Radu Ometita
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?