John RegehrMar 2

won't say I'm totally proud of myself here, but once I saw that the Claude C compiler was super buggy according to YARPGen and Csmith, I had a hard time preventing myself from doing something about it

https://john.regehr.org/writing/claude_c_compiler.html

claude_c_compiler

Show threadOwen AndersonMar 2
@regehr Now test it for volatile correctness
Show threadAndrea (Drea) Tamar PinskiMar 2

@resistor @regehr hehehhehehehehehe.

I don't remember how many bugs I fixed for GCC dealing with volatiles in the past.

Show threadOwen Anderson
@pinskia @regehr I did the same for volatile in LLVM around 2008, most of them reported by @regehr !
Mar 2 at 10:13pmWeb
Show threadJohn RegehrMar 2
@resistor @pinskia I'm being punished for this still... I want to add support for volatile to Alive2