Soundness: Signed add overflow check misses negative overflow, so MinValue plus -1 wraps
Fixed · low · Wrong-result bug
The addS family tests only positive overflow, so Long.MinValue plus -1 wraps to Long.MaxValue with no OverflowError, while unsigned add functions are correct.
Found: ; reported: ; status since: . Reporter: Mike Murunov
Page for this report · Public report · Fix or proposed fix (see status)