Local variables that have had their addresses taken
either explicitly by the &
operator, or implicitly by the automatic conversion of array references
to pointers.
In general, you do not need to be concerned about this assumption.
Standard-conformant C programs do not violate this assumption. However,
if you have code that does violate this assumption, the optimizer
can change the behavior of the program in an undesired way. In particular,
you should avoid the following coding practices to ensure correct
program execution for optimized code: