Number: 199

Date: 19-Mar-84 18':09':37

Submitter: Sannella.PA

Source: vanMelle.pa

Subject: Dorado does not punt on integer overflow

Lisp Version: 15-Mar-84 00':13':18

Description: '
Date': 18 Mar 84 22':12 PST'
From': vanMelle.pa'
Subject': Lisp': Dorado does not punt on integer overflow'
To': LispSupport.pa'
cc': vanMelle.pa'
Lisp-System-Date': 15-Mar-84 00':13':18'
Machine-Type': Dorado'
'
Microcode version = 12004Q'
'
(OVERFLOW T) followed by (IPLUS MAX.FIXP 1) does not cause an error, because the Dorado is not punting out to \SLOWIPLUS2, which is where the error is (should be) generated.  The Dolphin does the right thing.'
'
-----'
'
Date': 15 Aug 84 13':09 PDT'
From': Masinter.pa'
Subject': Lisp': Dorado doesn''t punt PLUS, DIFFERENCE on OVERFLOW cases'
To': LispSupport.pa'
cc': vanMelle, JonL, Charnley, Masinter'
'
Lisp System Date': 14-Aug-84 22':01':47'
Machine': Dorado (Plaza)'
Microcode version': 24,4'
Memory size': 10000'
Frequency': Always'
Impact': Serious'
'
While the DLion apparently *does* punt out on the overflow cases, the Dorado doesn''t -- it assumes OVERFLOW(0). This is the fault of the large-number dorado microcode I wrote a while back -- I just didn''t check for overflow.'
'
This has to get fixed before we can support BIGNUMs, and OVERFLOW(T). I''ve been running on my DLion with OVERFLOW(T) set for a while now and have not discovered any serious problems.'
'
-----'
'
Date': 16 Aug 84 11':17 PDT'
From': JonL.pa'
Subject': Re': Lisp': Dorado doesn''t punt PLUS, DIFFERENCE on OVERFLOW cases'
In-reply-to': Masinter.pa''s message of 15 Aug 84 13':09 PDT'
To': Masinter.pa'
cc': LispSupport.pa, vanMelle.pa, JonL.pa, Charnley.pa'
'
Ah so! you confess to being the "culprit" (source of bug) ?  This is AR 199, which as you can imagine, has been around for quite a while.  Will be fixed in the upcoming round of Dorado ucode maintenance.'
'
-- JonL --'
'
'


Workaround: 

Test Case: 

Edit-By: Sannella.PA

Edit-Date: 16-Aug-84 16':33':36

Attn: Jonl.pa

Assigned To: 

In/By: 

Disposition: '
Date':  2 Apr 84 21':00 PST'
From': JonL.pa'
AR 199 -- Dorado does not punt on integer overflow'
Difficulty':  Moderate  (because opening up the ucode for just one'
         small thing is a pain, so other ucode tasks will be'
         bunched in with this one, for a "several week" project)'
Impact': annyoying'
Priority': Hopefully]

System: Language Support

Subsystem: Arithmetic

Machine: 1132

Disk: 

Microcode Version: 12004Q

Memory Size: 

File Server: 

Server Software Version: 

Difficulty: Moderate

Frequency: Intermittent

Impact: Annoying

Priority: Hopefully

Status: Open

Problem Type: Bug

Source Files: