Hacktoberfest 2026：メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

Function JIT: wrong result (null) from a string-scanning loop with strcspn() after a comment-start byte

オープン
  • 何か問題がありますか？
#24,578 コメント 2 件 リアクション 0 件 担当者 0 名 GitHub で見る

メンテナーはふだん 1 日以内に返信

まだ誰も着手していません。

評価

難易度
4/5
見積もり時間
3〜5日
初心者へのやさしさ
54/100
issue の種類
バグ
明瞭さ
明確に書かれている
活発さ
活発
技術スタック
php
領域
performance

調査の方向性

Start by reducing the provided reproducer to isolate the strcspn() scanning loop under opcache.jit=function, then compare its result with tracing and disabled JIT modes. The issue names no PHP source files or tests, so first locate the function JIT implementation and its tests for string scanning. Done means both inputs return their full expected strings in function JIT mode, with the other modes still behaving correctly.

索引モデルが issue の本文から書いたものです。

説明

Bug Category: JIT Extension: opcache Status: Verified
Description

With opcache.jit=function, the static method Repro::interpolate() below returns null for two inputs that it handles correctly with opcache.jit=tracing and opcache.jit=disable. The two inputs contain a byte that may start a comment (- or /) but no placeholder, so the scanner should copy the whole string.

The following code:

<?php
declare(strict_types=1);

final class Repro {
    public static function skipComment(string $sql, int $position): int {
        $byte = $sql[$position]; $next = $sql[$position + 1] ?? '';
        if ($byte === '/' && $next === '*') { $end = strpos($sql, '*/', $position + 2); return $end === false ? strlen($sql) : $end + 2; }
        $dashes = $byte === '-' && $next === '-' && strspn($sql[$position + 2] ?? "\n", " \t\r\n") === 1;
        if ($byte !== '#' && !$dashes) return $position; $end = strpos($sql, "\n", $position);
        return $end === false ? strlen($sql) : $end + 1; }
    public static function skipQuoted(string $sql, int $position): int {
        $quote = $sql[$position]; $length = strlen($sql); $stops = $quote === '`' ? '`' : $quote . '\\'; $position++;
        while ($position < $length) { $position += strcspn($sql, $stops, $position); if ($position >= $length) break;
            if ($sql[$position] === '\\') $position += 2; elseif (($sql[$position + 1] ?? '') === $quote) $position += 2; else return $position + 1; }
        return $length; }
    public static function literal(mixed $value): ?string {
        if ($value === null) return 'NULL'; if (is_bool($value)) return $value ? '1' : '0'; if (is_int($value)) return (string) $value;
        if (is_float($value)) return is_finite($value) ? var_export($value, true) : null; if (!is_string($value)) return null;
        return $value === '' ? "''" : "'" . addslashes($value) . "'"; }
    public static function interpolate(string $sql, array $params): ?string {
        if (count($params) > 65535 || !array_is_list($params)) return null;
        $length = strlen($sql); $count = count($params); $text = ''; $used = 0; $copied = 0; $position = 0;
        while ($position < $length) { $position += strcspn($sql, "?'\"`#-/", $position); if ($position >= $length) break; $byte = $sql[$position];
            if ($byte === '?') { $literal = $used < $count ? self::literal(value: $params[$used]) : null; if ($literal === null) return null;
                $text .= substr($sql, $copied, $position - $copied) . $literal; $used++; $position++; $copied = $position;
            } elseif ($byte === "'" || $byte === '"' || $byte === '`') $position = self::skipQuoted(sql: $sql, position: $position);
            else { $after = self::skipComment(sql: $sql, position: $position); $position = $after === $position ? $position + 1 : $after; }
        }
        return $used === $count ? $text . substr($sql, $copied) : null;
    }
}
echo json_encode([Repro::interpolate('SELECT ? AS v', [3]), Repro::interpolate('SELECT 5 -', []), Repro::interpolate('SELECT 5 / 2', [])]), "\n";

Run with:

php -d opcache.enable_cli=1 -d opcache.file_update_protection=0 -d opcache.jit=function repro.php

Resulted in this output:

["SELECT 3 AS v",null,null]

But I expected this output instead (what opcache.jit=tracing and opcache.jit=disable print):

["SELECT 3 AS v","SELECT 5 -","SELECT 5 \/ 2"]

Reproduces on PHP 8.5.12 and on master (8.7.0-dev, da7da45a44eb07ac999f5183b232a40d5f857131). The script is a reduced version of a SQL placeholder interpolator.

PHP Version

PHP 8.5.12 (cli) (NTS), built from source; also master 8.7.0-dev at da7da45a44eb07ac999f5183b232a40d5f857131

Operating System

Amazon Linux 2023, aarch64 (container)

主要言語
C
スター
40.7k
フォーク
8.3k
平均マージ
2日 16時間
マージ済み PR（30日）
151

環境構築

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

php/php-src のほかの issue

php/php-src の issue をすべて見る

似ている issue

C の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。