Reference Aliasing Analysis

Understand how the compiler determines if two references point to the same memory.