[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Funny overflow
|
From: |
FORT David |
|
Subject: |
Funny overflow |
|
Date: |
Sat, 05 Jan 2002 02:36:41 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.7+) Gecko/20011225 |
Some funny samples, obviouly there's a problem around integer 0x6FFFFFFF:
| ?- X is 256*256*256*111+256*256*255+256*255+255.
X = 268435455
^^^^^ This is 0x6FFF FFFF
yes
| ?- X is 256*256*256*111+256*256*255+256*255+256.
X = -268435456
^^^^^^ 0x7000 0000
yes
| ?-
is this an error or bit 30 is used to encode the sign, and integers are
coded with only 31 bits ?
--
-- FORT David - address@hidden --
------- intranode: your e-security partner ----------------------
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Funny overflow,
FORT David <=