char *ptr1 = "ABCD";
char *ptr2 = "ABC";
としたときに値を共有するように最適化されることが有り得る。
つまり ptr1==ptr2 になる可能性があるので、
異なる領域に配置されることを仮定したコードを書かないように。

のほうがいいと思うんだけどなぁ。