Как видно из названия,

Что именно является правилом «как будто»?

Типичный ответ, который можно получить:

Правило, которое разрешает любые и все преобразования кода, которые не изменяют наблюдаемое поведение программы

Время от времени мы продолжаем получать поведения от определенных реализаций, которые приписываются этому правилу. Много раз неправильно. Итак, что же это за правило. Стандарт не содержит четкого упоминания об этом правиле в качестве раздела или абзаца, так что конкретно подпадает под действие этого правила? Мне кажется, что это серая зона, которая подробно не определена стандартом. Может кто-нибудь уточнить детали со ссылкой на ссылки из стандарта.

Примечание: пометьте это как C и C ++, потому что это относится к обоим языкам.