Alias analysis
= Alias analysis
{wiki}
Analysis of whether two accesses may designate the same storage location. <Common subexpression elimination> must not reuse a previously loaded value after a store that might change that location, unless an additional argument justifies it. A saved <memory address> can remain valid even though a value previously loaded at that address is invalidated.