diff options
| author | nsfisis <nsfisis@gmail.com> | 2026-02-24 00:47:35 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2026-02-24 00:47:35 +0900 |
| commit | d9858fbd322ce20de84f44ce67ae11edf081578c (patch) | |
| tree | 10d397b94008882ce6e9dddf8905987af626e0ab /crates/mozart-sat-resolver/src/solver.rs | |
| parent | af0df92e1ecc82823a510646b7545278caeac4b8 (diff) | |
| download | php-mozart-d9858fbd322ce20de84f44ce67ae11edf081578c.tar.gz php-mozart-d9858fbd322ce20de84f44ce67ae11edf081578c.tar.zst php-mozart-d9858fbd322ce20de84f44ce67ae11edf081578c.zip | |
fix(solver): iterate live watch chain to prevent infinite loop in propagation
The watch graph's propagateLiteral used a cloned chain for iteration
while checking the live chain for bounds. After move_watch removed a
node, the stale clone kept re-reading the same node index, causing an
infinite loop on large dependency sets (e.g. laravel/laravel).
Now re-fetch the live chain each iteration, matching Composer's
SplDoublyLinkedList semantics where remove() advances the iterator.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Diffstat (limited to 'crates/mozart-sat-resolver/src/solver.rs')
| -rw-r--r-- | crates/mozart-sat-resolver/src/solver.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/crates/mozart-sat-resolver/src/solver.rs b/crates/mozart-sat-resolver/src/solver.rs index e52c913..7ade361 100644 --- a/crates/mozart-sat-resolver/src/solver.rs +++ b/crates/mozart-sat-resolver/src/solver.rs @@ -785,7 +785,6 @@ impl<'a> Solver<'a> { if let Some(literal) = last_literal { let last_l = last_level.unwrap(); - self.branches[last_branch_index] .0 .remove(last_branch_offset); |