1
0
mirror of https://github.com/golang/go synced 2024-11-22 02:24:41 -07:00

Corrected broken assertion.

Fixes #571.

R=rsc
CC=golang-dev
https://golang.org/cl/198045
This commit is contained in:
Robert Griesemer 2010-02-01 16:14:22 -08:00
parent e37495368c
commit f7e2266ce6
2 changed files with 10 additions and 2 deletions

View File

@ -565,16 +565,18 @@ func divmod(x, y []digit2) ([]digit2, []digit2) {
t := c + digit(x[i+j]) - digit(y[j])*q
c, x[i+j] = digit(int64(t)>>_W2), digit2(t&_M2) // requires arithmetic shift!
}
x[k] = digit2((c + digit(x[k])) & _M2)
// correct if trial digit was too large
if c+digit(x[k]) != 0 {
if x[k] != 0 {
// add y
c := digit(0)
for j := 0; j < m; j++ {
t := c + digit(x[i+j]) + digit(y[j])
c, x[i+j] = t>>_W2, digit2(t&_M2)
}
assert(c+digit(x[k]) == 0)
x[k] = digit2((c + digit(x[k])) & _M2)
assert(x[k] == 0)
// correct trial digit
q--
}

View File

@ -663,3 +663,9 @@ func TestNatPop(t *testing.T) {
test(i, nat_one.Shl(i).Sub(nat_one).Pop() == i)
}
}
func TestIssue571(t *testing.T) {
const min_float = "4.940656458412465441765687928682213723651e-324"
RatFromString(min_float, 10) // this must not crash
}