c/language/as if

From cppreference.com
< c‎ | language

Allows any and all code transformations that do not change the observable behavior of the program.

See also