The article said something about being as good as GCC with O1, is that not enoug... | Hacker News

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

		Igglyboo on April 20, 2014 \| parent \| context \| favorite \| on: The Case for Formal Verification (2013) 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).

betterunix on April 20, 2014 [–]

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.

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