Xavier, great to hear about the interpreter and that you are using Csmith.
Well, CompCert C has saner semantics and requires that all non-void functions return something. I hope we will all agree that it is terrible style not to do this...
Yes! I didn't even realize this was legal until Chucky explained it. Xuejun please fix.