[Bug target/31175] New: isinf incorrectly expanded

[Bug target/31175] New: isinf incorrectly expanded

[rth at gcc dot gnu dot org]

#include <math.h> 
double x = -__builtin_inf ();
int main()
{
  if (isinf (x) != -1)
    abort ();
  return 0;
}

Examine the definition of isinf closely.  It returns -1 for -inf.


-- 
           Summary: isinf incorrectly expanded
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rth at gcc dot gnu dot org
GCC target triplet: i386-*


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31175

[Bug target/31175] isinf incorrectly expanded

[schwab at suse dot de]

------- Comment #1 from schwab at suse dot de  2007-03-14 17:19 -------
The standard has no such requirement.  It only talks about non-zero value.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31175

[Bug target/31175] isinf incorrectly expanded

[ubizjak at gmail dot com]

------- Comment #2 from ubizjak at gmail dot com  2007-03-14 17:38 -------
(In reply to comment #0)

> Examine the definition of isinf closely.  It returns -1 for -inf.

But:

NOTE
       Note  that these functions are obsolete. C99 defines macros isfinite(),
       isinf() and isnan() (for all types) replacing them.  Further note  that
       the C99 isinf() has weaker guarantees on the return value.

However, it is possible to add &&TARGET_C99_FUNCTIONS to isinf<mode>2 expander
to expand only when we know that target has functions that conform to c99
standard.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31175

[Bug target/31175] isinf incorrectly expanded

[uros at gcc dot gnu dot org]

------- Comment #3 from uros at gcc dot gnu dot org  2007-04-03 11:21 -------
Subject: Bug 31175

Author: uros
Date: Tue Apr  3 11:20:53 2007
New Revision: 123465

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123465
Log:
       PR target/31175
       * config/i386/i386.md (isinf<mode>2): Expand only when
       TARGET_C99_FUNCTIONS is set.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.md


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31175

[Bug target/31175] isinf incorrectly expanded

[ubizjak at gmail dot com]

------- Comment #4 from ubizjak at gmail dot com  2007-04-05 12:21 -------
Fixed.


-- 

ubizjak at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31175

[Bug target/31175] isinf incorrectly expanded

[ubizjak at gmail dot com]

------- Comment #5 from ubizjak at gmail dot com  2008-11-05 16:20 -------
*** Bug 38023 has been marked as a duplicate of this bug. ***


-- 

ubizjak at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |grxnprzn at gmx dot net


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31175