Comment by mskslal

No, the original program writes through iq, which is well defined. Only the optimized program writes through p+1.