>[оверквотинг удален]
> оптимизатор. Поэтому код может быть разным. А вот работать будет одинаково.
> Иллюстрация для тех кто в танке, на примере абстрактного процессора:
> mov r0, #1
> mov r0, #2
> mov r0, #3
> заменяется на "оптимизированный варинат кода":
> mov r0, #3
> И хотя md5sum у бинарного кода будет разный и вообще второй варинат
> в три раза короче, результат выполнения почему-то окажется совершенно одинаковый: r0
> содержит число 3.

Это глупый код и глупый пример. Такое gcc умел еще от рождения. Сейчас пилятся более сложные оптимизации и по большей части касаемые C++. А некоторые из оптимизаций вообще отключаются в виду их сомнительности или известных багов. Так что сборка различными версиями gcc может не отличаться вплоть до байта.