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.