std::isinf(-inf) strange results
Andrew -
hidefromkgb@gmail.com
Mon Feb 13 16:08:00 GMT 2017
Is this the expected behaviour when std::isinf(-inf) yields 0 or -1
instead of 1?
Consider the source:
#include <iostream>
#include <limits>
#include <cmath>
int main() {
std::cout << " ::isinf, long d = " <<
::isinf(-std::numeric_limits<long double>::infinity()) << std::endl
<< " ::isinf, double = " <<
::isinf(-std::numeric_limits< double>::infinity()) << std::endl
<< " ::isinf, float = " <<
::isinf(-std::numeric_limits< float >::infinity()) << std::endl
<< "std::isinf, long d = " <<
std::isinf(-std::numeric_limits<long double>::infinity()) << std::endl
<< "std::isinf, double = " <<
std::isinf(-std::numeric_limits< double>::infinity()) << std::endl
<< "std::isinf, float = " <<
std::isinf(-std::numeric_limits< float >::infinity()) <<
std::endl;
return 0;
}
$ # this is expected, everything`s all right
$ g++ test.cpp
$ ./a.out
::isinf, long d = 1
::isinf, double = 1
::isinf, float = 1
std::isinf, long d = 1
std::isinf, double = 1
std::isinf, float = 1
$ # now let`s force -lm ... things begin to get weird
$ g++ -fno-builtin-isinf -lm test.cpp
$ ./a.out
::isinf, long d = -1
::isinf, double = -1
::isinf, float = -1
std::isinf, long d = 1
std::isinf, double = -1
std::isinf, float = 1
$ # and now to insanity and beyond:
$ g++ -Ofast test.cpp
$ ./a.out
::isinf, long d = -1
::isinf, double = -1
::isinf, float = -1
std::isinf, long d = 0
std::isinf, double = -1
std::isinf, float = 0
Granted, -Ofast is allowed to disregard some standards in favor of
performance... but is it allowed to produce code that is plain wrong?
Furthermore, std::isinf sometimes takes the output of isinf from the
math library without casting it to bool, which, as far as I know,
doesn`t comply to the standard.
The question is whether I should report any of this as a GCC bug.
More information about the Gcc-help
mailing list