opcache.jit won't write to opcache.file_cache

Description

The following code:

<?php

function foo() {
    echo "hello";
}

foo();

php -d opcache.enable_cli=1 -d opcache.jit=1255 -d opcache.file_cache=/tmp/opcache test.php
php -d opcache.enable_cli=1 -d opcache.jit=disable -d opcache.file_cache=/tmp/opcache test.php

When jit is enabled, nothing is written to /tmp/opcache
When jit is disabled, /tmp/opcache is populated

Why?

PHP Version

8.4

Operating System

No response

2 つの PHP CLI コマンドで問題を再現し、JIT を有効にした場合と無効にした場合の /tmp/opcache の内容を比較します。opcache.file_cache と opcache.jit の処理を追跡して、JIT を有効にするとキャッシュが書き込まれない理由を特定します。動作が説明され、報告された不一致が解決された時点で完了です。