News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by Igglyboo on Sunday April 20, 2014 @06:20PM (#7618693)
The article said something about being as good as GCC with O1, is that not enough? Pardon my ignorance, I've never touched c/c++ (python guy).
[ Parent | on HN ]
Re:The Case for Formal Verification (2013) by betterunix on Sunday April 20, 2014 @07:44PM (#7618923)
1. O3 is way better.

2. GCC is not even the best optimizing compiler out there. Intel's C compiler puts GCC to shame for some tasks.

[ Parent | on HN ]