[php-src] Issue #21079: JIT causes non-deterministic results in Composer's SAT dependency resolver
[email protected] (sanmai)
| Newsgroups | php.bugs |
|---|---|
| Message-ID | <smeOs9bMewzYG7brstswR89VmEk8xdKL0HU4pfp9ghs@main.internal.php.net> |
Issue: https://github.com/php/php-src/issues/21079
Author: sanmai
### Description
When JIT is enabled with `opcache.jit=tracing`, Composer's dependency resolver (SAT solver) produces non-deterministic results. The same `composer update` command with identical inputs sometimes succeeds and sometimes fails with a bogus dependency conflict.
Disabling JIT makes the issue disappear completely.
[Reproducer](https://github.com/sanmai/pipeline/pull/299/changes):
```
git clone -b chore/jit-bug-composer https://github.com/sanmai/pipeline.git
cd pipeline
./doit2.sh
```
I'm looking at this error when it fails:
```
Running pool optimizer.
Updating dependencies
Generating rules
Resolving dependencies through SAT
Dependency resolution completed in 0.615 seconds
Your requirements could not be resolved to an installable set of packages.
Problem 1
- Root composer.json requires phpunit/phpunit ^11 || ^12 -> satisfiable by phpunit/phpunit[11.5.50, 12.5.8].
- phpunit/phpunit[11.5.50, 12.5.8] require staabm/side-effects-detector ^1.0.5 -> satisfiable by staabm/side-effects-detector[1.0.5].
- Conclusion: don't install staabm/side-effects-detector 1.0.5 (conflict analysis result)
```
### PHP Version
```plain
PHP 8.5.2 (cli) (built: Jan 16 2026 23:13:28) (NTS)
Copyright (c) The PHP Group
Built by https://github.com/docker-library/php
Zend Engine v4.5.2, Copyright (c) Zend Technologies
with Zend OPcache v8.5.2, Copyright (c), by Zend Technologies
```
### Operating System
_No response_