[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug-epsilon] [task #2500] Integer overflow/underflow checking

From: Luca Saiu
Subject: [bug-epsilon] [task #2500] Integer overflow/underflow checking
Date: Mon, 09 Aug 2004 06:15:17 -0400
User-agent: Mozilla/5.0 (X11; U; Linux i586; en-US; rv:1.3a) Gecko/20021212

This mail is an automated notification from the task tracker
 of the project: epsilon.

[task #2500] Latest Modifications:

Changes by: 
                Luca Saiu <address@hidden>
                Mon 08/09/2004 at 01:31 (Europe/Rome)

            What     | Removed                   | Added
     Should Start On |                           | Mon 08/09/2004 at 00:00
Should be Finished on |                           | Mon 08/09/2004 at 00:00
    Percent Complete | Any                       | 0%

[task #2500] Full Item Snapshot:

URL: <http://savannah.gnu.org/task/?func=detailitem&item_id=2500>
Project: epsilon
Submitted by: Luca Saiu
On: -

Category:  eAM (except target code generation and GC)
Should Start On:  Mon 08/09/2004 at 00:00
Should be Finished on:  Mon 08/09/2004 at 00:00
Priority:  5 - Normal
Resolution:  None
Assigned to:  None
Percent Complete:  0%
Status:  Open
Effort:  0.00

Summary:  Integer overflow/underflow checking

Original Submission:  We need to implement integer overflow/underflow checking 
for sum, subtraction and multiplication. In case of overflow/underflow an 
epsilon exception should be thrown.

A rough solution would be easy, but one or even two costly checks for 
arithmetic operation would be needed; we need to use the hardware arithmetic 
exceptions instead. Doing this in C involves using the GCC option -ftrapv and 
signals, and maybe setjump/longjump.

For detailed info, follow this link:

  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]