По сути, современный компилятор вообще не станет проверять some_condition: ведь если оно не выполняется, то функция попадает в неопределенное состояние, а это запрещено стандартом языка. Значит, условие всегда истинно, и проверку его можно уоптимизировать.
no subject
Date: 2018-02-08 08:16 pm (UTC)