avr-libc-dev
[Top][All Lists]
Advanced

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

[avr-libc-dev] [bugs #11511] NaN not generated correctly by division lib


From: anonymous
Subject: [avr-libc-dev] [bugs #11511] NaN not generated correctly by division library
Date: Fri, 07 Jan 2005 19:10:37 -0500
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20041111 Firefox/1.0

This mail is an automated notification from the bugs tracker
 of the project: AVR C Runtime Library.

/**************************************************************************/
[bugs #11511] Latest Modifications:

Changes by: Anonymous user
Date:  
                Fri 01/07/2005 at 15:19

------------------ Additional Follow-up Comments ----------------------------
I've added the test file - uses both printf and isnan to determine what the 
number is, as well as printing the actual value.

Runs on Mega128 at 3.68 MHz (ie: STK500 max), easily adapted to any device.

 -Colin






/**************************************************************************/
[bugs #11511] Full Item Snapshot:

URL: <http://savannah.nongnu.org/bugs/?func=detailitem&item_id=11511>
Project: AVR C Runtime Library
Submitted by: Colin O  Flynn
On: Thu 01/06/2005 at 19:02

Category:  Library
Severity:  5 - Average
Priority:  5 - Normal
Item Group:  None
Resolution:  None
Privacy:  Public
Percent Complete:  0%
Assigned to:  None
Originator Email:  address@hidden
Status:  Open


Summary:  NaN not generated correctly by division library

Original Submission:  It seems NaN is not generated correctly when you divide 
by 0 as it should be. The code is present in the division routine. As well if 
you set a floating point variable to nan when using a printf() on this number 
it prints as "nan".

A check of the division routine shows the test for zero occuring as not true 
when the number is clearly zero, using avarice.

Follow-up Comments
------------------


-------------------------------------------------------
Date: Fri 01/07/2005 at 15:19       By: 0 <None>
I've added the test file - uses both printf and isnan to determine what the 
number is, as well as printing the actual value.

Runs on Mega128 at 3.68 MHz (ie: STK500 max), easily adapted to any device.

 -Colin

-------------------------------------------------------
Date: Fri 01/07/2005 at 14:28       By: Eric Weddington <arcanum>
Colin, would you be willing to attach a test case to this bug?

Thanks
Eric






File Attachments
-------------------

-------------------------------------------------------
Date: Fri 01/07/2005 at 14:36  Name: main.c  Size: 732B   By: None
main.c - test 0/0 division, showing how it results in 2
http://savannah.nongnu.org/bugs/download.php?item_id=11511&amp;item_file_id=2039






For detailed info, follow this link:
<http://savannah.nongnu.org/bugs/?func=detailitem&item_id=11511>

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







reply via email to

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