3 ms·

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

• gambogi 11y ago
  Here's a link explaining why they haven't switched yet: http://marc.info/?l=openbsd-misc&m=137530560232232 http://marc.info/?l=openbsd-misc&m=137530560232232
  • zer0rest 11y ago
    It is really worrying because it seems to be the trend with everything, from web browsers, compilers, all the way down to kernels.
  • tedunangst 11y ago
    Well done.
  • anon1385 11y ago
    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 http://blog.regehr.org/archives/1036
    • tedunangst 11y ago
      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 http://blog.regehr.org/archives/1036#comment-12057