Realize the gep P, <zeros> must aliases P.