php5系からphp7系へ移行時にdo-whileが一回しか動作しない

Question

pear fileライブラリをphp7.2へ対応中なのですが、function next() 内のdo-whileがphp5.4ではループしているのに、php7.2では一度しか動作せずに悩んでいます。

do{...} while (!$error);は全ての処理後falseになって終了なので問題ないのですが、
2週目のdo{...} while (!$error);内のどこかで、php7.2場合の処理の仕方が違うようなので検証いたします。

do{...} while (($goodFile && $this->push()) || !$goodFile);がphp5.4ではtrue(ファイル名)>true(ディレクトリ名)>do{...} while (!$error);のfalseと正常に動作するのに対し、
php7.2ではtrue(ファイル名)>do{...} while (!$error);のfalseとディレクトリ名の処理が抜け落ちてしまいます。

調べた限りでは見当たらないのですが、php7.2でwhileの動作や条件式が変わったのでしょうか。
ご存知の方がおられましたら、ご回答よろしくお願いいたします。

    function push()
    {        
        $filename  = $this->source->getFilename();
        if (substr($filename, -1) == '/') { //it's a directory
            return false;
        } 

        if ($this->uncompressionLevel >= 0 &&
            $this->baseDirCompressionLevel !== null &&
            count($this->readers) >= $this->uncompressionLevel
           ) {
           return false;
        }

        $extensions = explode('.', strtolower($filename));
        $reader =& $this->source;
        $nbUncompressions = 0;

        while (($extension = array_pop($extensions)) !== null) {
            $nbUncompressions++;
            unset($next);
            $next = File_Archive::readArchive($extension, $reader, $nbUncompressions == 1);
            if ($next === false) {
                $extensions = array();
            } else {
                unset($reader);
                $reader =& $next;
            }
        }
        if ($nbUncompressions == 1) {
            return false;
        } else {
            $this->readers[count($this->readers)] =& $this->source;
            unset($this->source);
            $this->source = new File_Archive_Reader_ChangeName_AddDirectory(
                $filename, $reader
            );
            return true;
        }
    }

    function next()
    {
        //debug_print_backtrace();
        if ($this->currentFileNotDisplayed) {
            $this->currentFileNotDisplayed = false;
            return true;
        }
        do {
            do {
                $selection = substr($this->baseDir, 0, $this->baseDirProgression);
                if ($selection === false) {
                    $selection = '';
                }

                $error = $this->source->select($selection, false);
                if (PEAR::isError($error)) {
                    return $error;
                }
                if (!$error) {
                    if (empty($this->readers)) {
                        return false;
                    }
                    $this->source->close();
                    unset($this->source);
                    $this->source =& $this->readers[count($this->readers)-1];
                    unset($this->readers[count($this->readers)-1]);
                }
            } while (!$error);
            
            $filename = $this->source->getFilename();
　　　//問題の箇所
            if (strlen($filename) < strlen($this->baseDir)) {
                $goodFile = (strncmp($filename, $this->baseDir, strlen($filename)) == 0 &&
                             $this->baseDir{strlen($filename)} == '/');
                if ($goodFile) {
                    if (strlen($filename) + 2 < strlen($this->baseDirProgression)) {
                        $this->baseDirProgression = strpos($this->baseDir, '/', strlen($filename)+2);
                        if ($this->baseDirProgression === false) {
                            $this->baseDirProgression = strlen($this->baseDir);
                        }
                    } else {
                        $this->baseDirProgression = strlen($this->baseDir);
                    }
                }                
            } else {
                $goodFile = (strncmp($filename, $this->baseDir, strlen($this->baseDir)) == 0);
                if ($goodFile) {                    
                    $this->baseDirProgression = strlen($this->baseDir);
                }
            }
        } while (($goodFile && $this->push()) || !$goodFile);

        return true;
    }

Comments

[FKM]

もっと具体的にphp5.xからphp7.xに換装したとか説明してもらってよろしいでしょうか。
php5でも5.2と5.3と5.6では挙動変わってる部分多いですし、
php7でも7.1以前と7.2以降ではかなり変わってる部分があったりします。

[Cake]

php5.4とphp7.2のバージョンを追加いたしました。

Answer 1

php7でwhileの動作や条件式が変わったのでしょうか。

というよりは
} while (($goodFile && $this->push()) || !$goodFile);
のどれかの変数、戻り値を生成する処理がPHP5→PHP7で異なる結果になっている可能性が高いかと思います。
下位互換性のない変更点の影響であったり、PHP5の動いている環境とPHP7の動いている環境の差異に起因するかもしれませんが、第三者が把握するのは難しいです。

まずは、$goodFile と $this->push()が想定通りの値になっているかを確認してみてはいかがでしょうか。

Comments

[Cake]

`var_dump` で確認したところ、
php5.4では1回目 `$goodFile`は`true`で`$this->push()`も`true` 。2回目 `$goodFile`は`true`で`$this->push()`は`false`で `!$goodFile`が`false`で正常に終了。

php7.2では1回目 `$goodFile`は`true`で`$this->push()`も`true` 。2回目に行かずに終了。

上部の `do{` 直下で `echo` を試したところ、php7.2も`do{...} while (!$error);`の二週目に入っていましたので、この`do{...} while (!$error);`のどこかで動作が変になっているのがわかりましたので、もう少し検証いたします。

回答ありがとうございました。