vbpf / prevail / 28866055625

87%

push

github

Flip infinite bound sign in ExtendedNumber signed division

ExtendedNumber::AbsDiv returned the dividend's own infinity unchanged when
dividing an infinite bound by a finite divisor, so -oo / (negative) yielded
-oo instead of +oo. The signed-singleton path (divide_bound_by_negative_
singleton) already negates infinite bounds, confirming the intended semantics.

Thread a flip flag so only signed operator/ flips the infinity sign by the
divisor sign. Modulo keeps the dividend's infinity (its magnitude is bounded,
so the sign is the conservative choice) and the unsigned udiv/urem treat the
divisor as unsigned (never negative), so those are deliberately left unchanged.

Add a direct ExtendedNumber test covering both division sign flips and the
unchanged modulo convention; the eBPF interval callers only pass finite
width-limited intervals, so this primitive is otherwise untested.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01CsnGgfCt3qNBW1Wk8BPPjQ
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

5 of 5 new or added lines in 1 file covered. (100.0%)

9147 of 10571 relevant lines covered (86.53%)

6474447.54 hits per line