W
Типо нет проверок на ошибки?
Типо агрессивные оптимизации, нарушающие структуру кода.
С О2 такой херни нет. Почти. Максимум там может накосячить оптимизатор, если много *void to other type, преобразований. И если из-за этого произойдет кривой алиасинг структур.
В большинстве случаев шансы на это малы.
