diff options
| author | Scott Gasch <[email protected]> | 2026-08-27 08:52:40 -0700 |
|---|---|---|
| committer | Scott Gasch <[email protected]> | 2026-08-27 08:52:40 -0700 |
| commit | 489915f4c98c7aca3a63c0f35b83929e8331a597 (patch) | |
| tree | a8554919ca44f5551001768a3dcac546bfd0af0f /src/searchsup.c | |
| parent | 4ce6a76b0946e4ba943d29c506c9e2fb00601efd (diff) | |
Fix integer divide-by-zero in script.c's post-suite histogram printer.
uMax (the largest histogram bucket count) can be 0 when a script run's
positions are all unsolved -- ASSERT(uMax > 0) doesn't stop this in a
non-DEBUG build, and the following loop unconditionally divides by
uMax, crashing with SIGFPE. Hit repeatedly today running single-position
diagnostic scripts (an isolated unsolved position naturally has an
all-zero histogram) while investigating an LMR regression on ECM.213.
Co-Authored-By: Claude Sonnet 5 <[email protected]>
Claude-Session: https://claude.ai/code/session_01YGSMkwjqiCk4XhbfN7ugD2
Diffstat (limited to 'src/searchsup.c')
0 files changed, 0 insertions, 0 deletions
