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. Best regards, Radu Ometita, Functional compilers engineer @IOHK