> Это я пожалуй ерунду написал, на -О3 действительно может компиляться по-разному.
> Но пример меня не убеждает совсем потому, что он бессмысленный. Никто никогда
> a[++b]++
> и он на -О3 будет полностью определён.

Ладно, я погуглил для тебя. Изучай! 8)

http://blog.llvm.org/2011/05/what-every-c-programmer-should-...

Потом вот это:

https://wiki.theory.org/index.php/YourLanguageSucks#C_sucks_...

Самое эпическое:

-Variable length arrays are usually placed on the stack, meaning that passing in too large of a size is unsafe; it will just stack overflow the moment you use it, made worse by the fact there is no way to tell your allocation is too big.

С этим и сам сталкивался

-Debugging optimised code can sometimes make no sense due to aggressive compiler optimisation.

-Data safety in multi-threaded programs is not really guaranteed by the language; things you think are atomic aren't necessarily without using (C11, but see above) atomics. Getting torn reads and writes is extremely easy, and no tools will ever warn you it's happening.

так что не надо ляля. се по предсказуемости результата до жабы педалить и педалить. ;)