> Предсказание ветвления по определению подразумевает, что оно работает на runtime-данных.

И это компилеры нынче тоже таки умеют, PGO как раз о чем-то таком.

> предсказатель ветвлений увидит, что бранч тут всегда идёт по одной ветке
> и будет это предсказывать, давая буст для каждой следующей итерации. А
> GCC такое никогда не соптимизирует, потому что опция по определению может
> быть как True, так и False.

Ему в ряде случаев можно и захинтить likely/unlikely, равно как оптимизировать можно более популярный у юзерей code path.

> checkbox в программе и этот кейс нужно соптимизировать.

В принципе некий пойнт в этом есть. Но даже так - хинтят likely/unlikely.

> Более того - если ты захочешь отключить эту опцию - предсказатель ветвлений перестроится, и
> начнёт предсказывать уже ветку else. Как ты такое будешь на этапе
> компиляции оптимизировать, гений?)))

Два варианта code path, отптимизнутые каждый на свой вариант? Да, это может раздуть код.