> Включаю -O3 в продакшене на корректно написанном коде, брат жив.

Я очень рад за вас и вашего брата. Но таки вы - исключение. Стандартные флаги оптимизации в дистрибутивах (т.е. в 99% открытого софта) - O2.

> Есть у меня один знакомый, который как раз поэтому gcc и обожает,
> что там код работает на 5-10% быстрее, чем в clang, как
> правило.

Про clang пока даже речи не было. Совершенно неизвестно, что тамошние бравые парни наворотили. Есть отдельные места - http://clang.llvm.org/doxygen/ToolChains_8cpp_source.html
которые заставляют несколько усомниться в их квалификации.

> Да и вообще, на этапе оптимизации, как правило, довольно много кода может
> выкидываться, передвигаться, и так далее. На всё это ворнингами плеваться —
> их столько появится, что никто эту простыню читать не будет.

Есть такое. Но если место столь неприятно опасное, то стоило бы.

> А вообще, за хорошим анализом кода при обычной компиляции и предупреждениями —
> это к clang :)

Он совершенно никакого сравнения с PVS-кой не выдерживает.