4 ms·

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, eithe

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. http://compcert.inria.fr/compcert-C.html http://compcert.inria.fr/compcert-C.html EDIT: See also https://github.com/AbsInt/CompCert https://github.com/AbsInt/CompCert

zer0rest 12y ago
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).
- gambogi 12y 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 12y 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 12y ago
    Well done.
  - anon1385 12y 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 12y 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