Repository navigation
AOT: DateTime{,Immutable}::add/sub with runtime DateInterval aborts compile (re-#30760, ext/date/php_date.c) #33781
Description
Category
bug · AOT compile abort · DateTime · stdlib · leftover of #30760
Problem
Thin user-script AOT threw when DateTime{,Immutable}::add/sub could not fold a compile-time DateInterval on the method arg (variable $i = new DateInterval('P1M')) and/or lacked the receiver's construct instant on the method $this Temporary. Year/month intervals need both stamps for VmDateTimeNative::applyIntervalState.
./script/aot-smoke.sh is 8/8.
| Repro | Zend / VM | AOT (before) |
|---|---|---|
$i=new DateInterval('P1M'); …->add($i) |
2020-02-15 |
LogicException #30760 |
php-src reference
- php/php-src
ext/date/php_date.c—date_add/DateTime::add
PHP implementation target
lib/JIT.php—applyDateMetaToDateTimeAddSubArgsrestores interval stamp onto$intervalARG_SEND; DateTime instant note prefers$resultafter syncext/standard/JitDateMutation.php— honorcompileTimeDateTimeTimestamp; recover instant from named bindings by layout; refresh stamps after mutable fold
Repro
./script/aot-smoke.sh
./script/docker-exec.sh -- bash -lc 'php test/repro/issue_33781_datetime_runtime_interval_aot.php'
./script/docker-exec.sh -- bash -lc 'PHP_COMPILER_HELPER_RUNTIME_O=0 php bin/compile.php -o /tmp/di.bin test/repro/issue_33781_datetime_runtime_interval_aot.php && /tmp/di.bin'Done when
- AOT binary for variable
DateIntervaladd/sub matches Zend/VM stdout - Year/month intervals (
P1M) work, not only fixed-length - Targeted phpunit +
aot-smokestays 8/8 - No new
runtime/*.c
Activity
PurHur commentedon Aug 22, 2026
claim: advanced-stdlib/ext — AOT DateTime add/sub runtime DateInterval via existing DateMutationRuntime path (re-#30760 leftover).
PurHur commentedon Aug 22, 2026
claim: implementer-worker-lane-c — starting this run (lane overflow; #33781 is only open AOT crash, no PR on claim yet)
PurHur commentedon Aug 22, 2026
claim: implementer-worker-lane-b — starting this run (lane overflow; no open PR)
AOT: DateTime add/sub with runtime DateInterval via JitGetdate civil …
PurHur commentedon Aug 22, 2026
merged in #33786
verification:
note: intervals whose compileTimeDateInterval is absent (fully dynamic spec) still hit runtime property-read LLVM; month component there SIGABRTs — follow-up if needed. Typical $i = new DateInterval('P1M') is covered via compileTimeDateInterval + JitGetdate civil path.
AOT: route procedural date_add/date_sub through DateTime interval low…
AOT: fix date_add($dt, $interval) SIGSEGV on named locals (#33781). (#…