8384182: Incorrect assertion eq4a_state in vectorization AlignmentSolver::solve

Reviewed-by: chagedorn, snatarajan
This commit is contained in:
Kerem Kat 2026-06-03 13:45:26 +00:00
parent bf14f24f76
commit 15726f9b6c

View File

@ -1744,8 +1744,8 @@ AlignmentSolution* AlignmentSolver::solve() const {
// And since abs(C_pre) < aw, the solutions of (4a, b, c) can now only be constrained or empty.
// But since we already handled the empty case, the solutions are now all constrained.
assert(eq4a_state == EQ4::State::CONSTRAINED &&
eq4a_state == EQ4::State::CONSTRAINED &&
eq4a_state == EQ4::State::CONSTRAINED, "all must be constrained now");
eq4b_state == EQ4::State::CONSTRAINED &&
eq4c_state == EQ4::State::CONSTRAINED, "all must be constrained now");
// And since they are all constrained, we must have:
//