Sebuah teknik yang menentukan ketika dua ekspresi pointer tidak dapat menunjukkan lokasi yang sama, yang memungkinkan compiler untuk mengoptimalkan ekspresi bebas tersebut.