Repository navigation
Regression: AOT preg_match_all() aborts after build — VM/JIT match Zend (ext/pcre/php_pcre.c) #27195
Description
Category
Regression · php-src-strict · AOT
Problem
preg_match_all() matches Zend on VM and JIT, but the thin AOT binary aborts (SIGABRT / exit 134) immediately after phpc build succeeds (2026-08-03, Docker php-compiler:22.04-dev).
| Repro | Zend 8.2 | VM / JIT | AOT |
|---|---|---|---|
preg_match_all('/\w+/', 'a b c', $m); echo implode(',', $m[0]); |
a,b,c |
a,b,c |
abort exit 134 (phpc: fatal signal / core dump) |
php-src reference
- php/php-src
ext/pcre/php_pcre.c—PHP_FUNCTION(preg_match_all)/php_pcre_match_impl
PHP implementation target
ext/pcre/+lib/JIT/PCRE lowering / by-ref$matchesmaterialization for thin standalone AOT — fix runtime abort, not a C runtime branch- Related closed: Stdlib: preg_match_all() — VM + LLVM JIT/AOT #1179, Stdlib: preg_match_all() — JIT/AOT $matches, flags, and offset (ext/pcre parity, phase 2) #4560 (feature once green; AOT execute regresses)
Repro
./script/docker-exec.sh -- bash -lc 'cat > /tmp/pma.php <<'\''PHP'\''
<?php
preg_match_all("/\w+/", "a b c", $m);
echo implode(",", $m[0] ?? []), "\n";
PHP
php /tmp/pma.php
php bin/vm.php /tmp/pma.php
php bin/jit.php /tmp/pma.php
PHP_COMPILER_HELPER_RUNTIME_O=0 ./phpc build -o /tmp/pma.bin /tmp/pma.php && /tmp/pma.bin; echo exit:$?'Done when
- AOT binary prints
a,b,cmatching Zend/VM/JIT - Compliance
.phptortest/repro/guard under PCRE - php-src-strict; no php-compiler-strict shortcut
- Re-run binary ≥5× (heap/abort class) before closing
Activity
PurHur commentedon Aug 3, 2026
Maintainer gate snapshot (2026-08-03) — #10533 comments locked
Could not post to #10533 (commenting disabled at 2500+). Local Docker gates:
php script/bootstrap-inventory.php --checkOK 6866/6866./script/release-readiness.sh --jsonuser_release_ready: nonorth-star5-fast—4f-mgen-0 manifest/driver mismatch (#8713)0fa60f12eParity batch filed: #27195 (this), #27196 (
finfo_fileAOT), #27197 (iconv_substrAOT), #27198 (getservbynameAOT vs Zendfalse).PurHur commentedon Aug 3, 2026
claim: worker-lane-A — starting this run
Lane A (
27195 % 3 == 0). Scope isext/pcre+lib/JITAOT execute abort forpreg_match_all(notext/standardSTD Lib ownership; not Dom/XML or I/O&Crypto extension lists). No open PR; no prior claim.TRY_FIRST (this workspace):
php script/bootstrap-inventory.php --check— red on host path (docs construct-flag drift onJitGetdate.php); release-readiness inventory gate still OK 6917/6917./script/release-readiness.sh --json—user_release_ready: nonorth-star5-fast—4f-mgen-0 manifest/driver mismatch (Self-host M5: bootstrap-inventory argv driver size floor — grow beyond 451KB stub #8713); gen-0 provenance stale (4 lowering commits sinceb23fd91e1)Proceeding with Pillar 4 AOT parity (#27195); gen-0 rebuild is multi-hour bootstrap work, not this ticket.
Fix AOT preg_match_all abort — thin match-all $matches (#27195) (#27378)
PurHur commentedon Aug 3, 2026
merged via #27378
Verification
PHP_COMPILER_HELPER_RUNTIME_O=0 php bin/compile.php -o /tmp/pma test/repro/issue_27195_aot_preg_match_all.php && /tmp/pma→a,b,c(exit 0 ×5)vendor/bin/phpunit --filter 'PregAotFastPathTest|PregMatchRuntimeShrinkTest'— 14 OK$matches[0]as array of full matches viamatchAllStore+thinMatchAllPart*(no more implode abort)