[GitHub] [incubator-nuttx] v01d opened a new issue #3394: DIVIDE BY ZERO

[GitBox <gi...@apache.org>]

v01d opened a new issue #3394:
URL: https://github.com/apache/incubator-nuttx/issues/3394


   ```
     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 replace the second division
                   by zero, since it will result in a compile-time diagnostic, if the
                   implementation does not support infinity."
     Status:       Open
     Priority:
   ```


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org