Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

The license of CompCert is an instant no to be part of base in openBSD. I believe the reason openBSD hasn't changed to llvm is because it doesn't support all of their current architectures(feel free to correct me on this).


Here's a link explaining why they haven't switched yet: http://marc.info/?l=openbsd-misc&m=137530560232232


The idea that older versions of GCC didn't have as many bugs doesn't hold up to any scrutiny: http://blog.regehr.org/archives/1036


Not all compiler bugs are equal. Miod has a pretty good sense of which compilers exhibited the worst bugs in practice and the effort required to fix/workaround them.

see also http://blog.regehr.org/archives/1036#comment-12057


Well done.


It is really worrying because it seems to be the trend with everything, from web browsers, compilers, all the way down to kernels.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: