News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.