The code move p1 to p2, it is the same with p1 = p2. Any values are legal as long as both p1 and p2 point to elements in the same array.