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

[Luca Saiu]

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

/**************************************************************************/
[task #2500] Latest Modifications:

Changes by: 
                Luca Saiu <address@hidden>
'Date: 
                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:
<http://savannah.gnu.org/task/?func=detailitem&item_id=2500>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/