diff options
| author | Kevin Ryde <user42@zip.com.au> | 2001-05-03 01:20:17 +0200 |
|---|---|---|
| committer | Kevin Ryde <user42@zip.com.au> | 2001-05-03 01:20:17 +0200 |
| commit | 53c7894352fe21dfc08461f6794c4a2e10b5f59c (patch) | |
| tree | 9adc9a744f1b1c4c2a7327edee8b8bb4fb5e08b7 /extract-dbl.c | |
| parent | fea624ea670a300f7310855c0936d4655d9f8cd2 (diff) | |
| download | gmp-53c7894352fe21dfc08461f6794c4a2e10b5f59c.tar.gz | |
* extract-dbl.c: Add ASSERT d>=0.
Diffstat (limited to 'extract-dbl.c')
| -rw-r--r-- | extract-dbl.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extract-dbl.c b/extract-dbl.c index 1a3729bc0..983b56ef7 100644 --- a/extract-dbl.c +++ b/extract-dbl.c @@ -55,6 +55,8 @@ __gmp_extract_double (mp_ptr rp, double d) 4. This lits is incomplete and misspelled. */ + ASSERT (d >= 0.0); + if (d == 0.0) { MPN_ZERO (rp, LIMBS_PER_DOUBLE); |