At PAL we are using several optimization flags along with cppcheck and strict g++ options to ensure quality and speed. It usually brings up issues where highly optimized code might go wrong.