>>747さん。
>>736です。

教授のホームページには
世の中の while(*dst++=*src++); は間違いであると書いてあります。

指摘してみます。