[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-bugs] missing return with --check-global

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.