Curious if the folks at OpenBSD have ever thought about giving CompCert-C a shake. I realize it's no gcc or llvm, but OpenBSD is no run of the mill *nix, either.<p><a href="http://compcert.inria.fr/compcert-C.html" rel="nofollow">http://compcert.inria.fr/compcert-C.html</a><p>EDIT: See also <a href="https://github.com/AbsInt/CompCert" rel="nofollow">https://github.com/AbsInt/CompCert</a>
Great place to shamelessly mention my MIT licensed work in progress C compiler (written in Go), <a href="https://github.com/andrewchambers/cc/" rel="nofollow">https://github.com/andrewchambers/cc/</a> . Nowhere near the level it needs to be, but would be fun if I could start a community to push it forward.
12 years ago miod and marc talking of openBSD
<a href="http://www.libroscope.org/OpenBSD-ne-desarme-pas" rel="nofollow">http://www.libroscope.org/OpenBSD-ne-desarme-pas</a> (fr)<p>or miod taking is sherlock holmes hat to solve a GCC bug
<a href="http://www.onlamp.com/pub/a/bsd/2003/10/02/openbsd_gcc.html" rel="nofollow">http://www.onlamp.com/pub/a/bsd/2003/10/02/openbsd_gcc.html</a><p>Yes I am a fanboy of miod, and I am not even ashamed.
> The last de-facto LTS compiler we have had was gcc 2.7.2.1, and it is too old to compile modern C and C++ code.<p>Wont any LTS compiler be "too old" quickly?