diff options
author | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2012-01-06 19:29:37 +0000 |
---|---|---|
committer | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2012-01-06 19:29:37 +0000 |
commit | ae529b8648831d3e18679a78689d1ea1890fed94 (patch) | |
tree | 619447df64ec7cc3aaa5e473e951f526aa9ced04 /nuttx/TODO | |
parent | a81a8867a6b8ec35bab1416f055c720d84d6eb97 (diff) | |
download | px4-firmware-ae529b8648831d3e18679a78689d1ea1890fed94.tar.gz px4-firmware-ae529b8648831d3e18679a78689d1ea1890fed94.tar.bz2 px4-firmware-ae529b8648831d3e18679a78689d1ea1890fed94.zip |
Incorporate Z80 bugfixes reported by Phillip Klaus Krause
git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4270 7fd9a85b-ad96-42d3-883c-3090e2eb8679
Diffstat (limited to 'nuttx/TODO')
-rw-r--r-- | nuttx/TODO | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/nuttx/TODO b/nuttx/TODO index 77daa2d12..a0d7bf410 100644 --- a/nuttx/TODO +++ b/nuttx/TODO @@ -15,7 +15,7 @@ nuttx/ (5) Binary loaders (binfmt/) (16) Network (net/, drivers/net) (2) USB (drivers/usbdev, drivers/usbhost) - (7) Libraries (lib/) + (8) Libraries (lib/) (10) File system/Generic drivers (fs/, drivers/) (1) Graphics subystem (graphics/) (1) Pascal add-on (pcode/) @@ -465,7 +465,7 @@ o Libraries (lib/) Title: FGETS IMPLEMENTATION Description: fgets implementation does not use C-buffered I/O, but rather talks to serial driver directly via read(). It includes VT-100 - specific editting commands. This gets should be renamed readlin() + specific editting commands. This gets should be renamed readline() and a more generic fgets() should be implemented. Status: Open Priority: Low (unless you are using mixed C-buffered I/O with fgets and @@ -519,6 +519,21 @@ o Libraries (lib/) Priority: Medium. This kind of operation is probably not very common in deeply embedded systems but is required by standards. + Title: DIVIDE BY ZERO + Description: This is bug 3468949 on the SourceForge website (submitted by + Philipp Klaus Krause): + "lib_strtod.c does contain divisions by zero in lines 70 and 96. + AFAIK, unlike for Java, division by zero is not a reliable way to + get infinity in C. AFAIK compilers are allowed e.g. give a compile- + time error, and some, such as sdcc, do. AFAIK, C implementations + are not even required to support infinity. In C99 the macro isinf() + could replace the first use of division by zero. Unfortunately, the + macro INFINITY from math.h probably can't replce the second division + by zero, since it will result in a compile-time diagnostic, if the + implementation does not support infinity." + Status: Open + Priority: + o File system / Generic drivers (fs/, drivers/) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |