詳細はここに。パッチもここに。
http://bugs.php.net/bug.php?id=52797
簡単にいえば、char* をそのままコピーしてしまったバグです。
strdup などを作って新規領域にコピーするのが正しいコーディング。
典型的な double free のバグですね。
いつになったら治るんだろう。。。
ついでに[id:Hossy:20090318]これも。
http://bugs.php.net/bug.php?id=47768←ここで報告したのに放置。
http://bugs.php.net/bug.php?id=51319←んで、同じ現象を別の人が報告。
- 後者の報告に対するコメント
- max_execution_time を使わなければ治ったよ！
- --with-debug つけたら治ったよ！
PHP の界隈ではこれを治ったと呼ぶらしい。
