We need a Solve.cpp fuzzer #9101

Open

opened

on Apr 20, 2026

While @abadams and I were reviewing #8839 we noticed that several branches in Solve.cpp are missing no_overflow_int checks. These would be caught by a fuzzer.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests