[Bug libstdc++/14608] New: <iostream.h> nukes isfinite macro from <math.h>

[Bug libstdc++/14608] New: <iostream.h> nukes isfinite macro from <math.h>

[zack at gcc dot gnu dot org]

I will attach two test cases to this bug.  The first test case was provided to
me by a customer; it is a cut-down version of a larger piece of code that did
need both <math.h> and <iostream.h>.  The observed problem is that if both these
headers are included (in either order) in the same translation unit, the
isfinite macro (part of C99) is not available to subsequent code.  If only
<math.h> is included, then isfinite is available.

The second test case is the workaround that I found for GCC 3.3.3.  It does not
work with GCC 3.4, even with the obvious s/GLIBCPP/GLIBCXX/.

It should be noted that HPUX's libc does not implement all of C99, but it *does*
provide all of the C99 math functions - but isfinite() and friends are only
macros (which is allowed by C99).  I don't know what the C++ standard specifies
in this area but it seems to me that QoI dictates that C++ programs be able to
use all the system-provided library facilities.

-- 
           Summary: <iostream.h> nukes isfinite macro from <math.h>
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: libstdc++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zack at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: ia64-hp-hpux11.23
  GCC host triplet: ia64-hp-hpux11.23
GCC target triplet: ia64-hp-hpux11.23


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

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[zack at gcc dot gnu dot org]

------- Additional Comments From zack at gcc dot gnu dot org  2004-03-16 18:23 -------
Created an attachment (id=5930)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5930&action=view)
original testcase


-- 


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

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[zack at gcc dot gnu dot org]

------- Additional Comments From zack at gcc dot gnu dot org  2004-03-16 18:24 -------
Created an attachment (id=5931)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5931&action=view)
workaround - only for 3.3.x


-- 


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

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-03-16 19:15 -------
Confirmed, it also shows up on powerpc-apple-darwin7.2.0 also.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
  GCC build triplet|ia64-hp-hpux11.23           |
   GCC host triplet|ia64-hp-hpux11.23           |
 GCC target triplet|ia64-hp-hpux11.23           |ia64-hp-hpux11.23,powerpc-
                   |                            |apple-darwin
   Last reconfirmed|0000-00-00 00:00:00         |2004-03-16 19:15:30
               date|                            |


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

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-03-16 19:52 -------
Subject: Re:  New: <iostream.h> nukes isfinite macro from <math.h>



Short answer for this PR:  Use -D_GLIBCXX_USE_C99_MATH if you want to
retain C99 random bits consistently.


Longer answer:

"zack at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| I will attach two test cases to this bug.  The first test case was
| provided to me by a customer; it is a cut-down version of a larger
| piece of code that did need both <math.h> and <iostream.h>.  The
| observed problem is that if both these headers are included (in
| either order) in the same translation unit, the isfinite macro (part
| of C99) is not available to subsequent code.  If only <math.h> is
| included, then isfinite is available. 

The bug is that isfinite() is at all available *as macro*, when
<math.h> is included.  But, that is a general problem in that we don't
have control over <math.h> and so we don't remove sneaky macros as we
should all the time. 

First of all, C++ explicitly permits any standard header that is not
inherited from C to include any other standard header -- that is
hardly avoidable.  <iostream.h> is not a standard header but is
provided as a courtesy (see appendix D of the C++ standard) and is, in
fact, an inclusion of <iostream> followed by a series of
using-declarations -- as is done for C inherited headers <xxx.h> as
mandated by the C++ standard.  <iostream> (transively) includes
<cmath> for whatever reasons.  <cmath> turn functional macros into
functions, and by default provides only C90 functions.

However, you may specify -D_GLIBCXX_USE_C00_MATH if you want to retain
C99 random bits.

| The second test case is the workaround that I found for GCC 3.3.3.
| It does not work with GCC 3.4, even with the obvious s/GLIBCPP/GLIBCXX/.
| 
| It should be noted that HPUX's libc does not implement all of C99,
| but it *does* provide all of the C99 math functions - but isfinite()
| and friends are only macros (which is allowed by C99).  I don't know
| what the C++ standard specifies in this area but it seems to me that
| QoI dictates that C++ programs be able to use all the
| system-provided library facilities. 

Discussing "dictated" behaviour without looking at what the C++
standard says is a good recipe for frustration and waste of time.

The C++ committee is considering adding  -- to the first Technical
Report (not a standard in its strict sense) -- modified versions of
the myriad of functions C99 added to C90.  PJ. Plauger made a report
early in 2002 and followed up with

  http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2003/n1503.txt

and more corrections in subsequent mailings.  
Turning C99 sneaky functional macros into plain functions are general
requirements of C++ and also recommended in the above proposal.
The implementation of V3 is in adequation with those recommandations.

I propose to close this PR.  The only bug here is that we don't remove
macros consistently, but that is a known problem we don't have a
solution for right now.

-- Gaby


-- 


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

Re: [Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[Zack Weinberg]

I think the person who reported this bug to me would be fine with
std::isfinite() being reliably available (possibly with a magic macro
to turn it on) in C++ on HP-UX.

zw

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-03-16 19:53 -------
Subject: Re:  <iostream.h> nukes isfinite macro from <math.h>

"pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| Confirmed, it also shows up on powerpc-apple-darwin7.2.0 also.

Try with -D_GLIBCXX_USE_C99_MATH.

-- Gaby


-- 


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

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[zack at codesourcery dot com]

------- Additional Comments From zack at codesourcery dot com  2004-03-16 21:08 -------
Subject: Re:  <iostream.h> nukes isfinite macro from
 <math.h>


I think the person who reported this bug to me would be fine with
std::isfinite() being reliably available (possibly with a magic macro
to turn it on) in C++ on HP-UX.

zw


-- 


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

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[zack at codesourcery dot com]

------- Additional Comments From zack at codesourcery dot com  2004-03-17 09:50 -------
Subject: (PR 14608) [Dennis Handly] RE: Problem with GCC/G++ on HP-UX -
 v3.3.2prerelease - iostream/math.h


Further comments from the customer ...

>From: "Zack Weinberg" <zack@codesourcery.com>
>Dennis is not far off.  What's happening is that <iostream> includes
><cmath>.  <cmath> includes <math.h> and then #undefs a bunch of macros
>that a strict reading of C++98 disallows, including "isfinite".

Strict reading of C++98 would also disallow you undefing user macros
just to make the namespace clean.

I.e. suppose the user defined isfinite and you undefed it.
And if _HPUX_SOURCE is defined, (to get isfinite) you shouldn't undef it.

Unless you are very clever and check the definition before you include
<cmath> and only undef it if it wasn't defined.

Basically HP-UX never has defined a C++ clean namespace and unless
you can get the HP-UX people involved, you doing it by yourself is a
lost cause.


-- 


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

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-03-17 10:24 -------
Subject: Re:  <iostream.h> nukes isfinite macro from <math.h>

"zack at codesourcery dot com" <gcc-bugzilla@gcc.gnu.org> writes:

| Further comments from the customer ...
| 
| >From: "Zack Weinberg" <zack@codesourcery.com>
| >Dennis is not far off.  What's happening is that <iostream> includes
| ><cmath>.  <cmath> includes <math.h> and then #undefs a bunch of macros
| >that a strict reading of C++98 disallows, including "isfinite".
| 
| Strict reading of C++98 would also disallow you undefing user macros
| just to make the namespace clean.

Strict reading of C++98 requires that the following program compile,
if it fails then it is V3 error:

    #include <cmath>

     namespace foo {
        void isfinite(int) { return 0; } 
     }

-- Gaby


-- 


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

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[bkoz at gcc dot gnu dot org]

------- Comment #9 from bkoz at gcc dot gnu dot org  2009-01-27 20:49 -------

Looks to me like the flipside of libstdc++/7439. More broadly speaking, C99
macros vs. C++98/0x. The current status on this issue is:

For 4.1/4.2/4.3/trunk, C99 macros should be visible with 
  1) -std=gnu99/c99 in "C" code (platform-specific if this is guarded: linux
is) 
  2) with _GLIBCXX_USE_C99_MATH defined for c++98/0x, macros are undefined and
templates scoped in namespace std:: are visible. The macro
_GLIBCXX_USE_C99_FP_MACROS_DYNAMIC can be defined to suppress this, and define
the macros.

This seems like standards-conformant behaviour is possible with the right
combination of defines. Sadly, this is not documented, and clearly need to be.
With documentation to explain this, I think this bug can be closed.

I am adding the keyword documentation to this bug and will take care of it in
the next documentation sweep.


-- 

bkoz at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |documentation


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

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jyasskin at gcc dot gnu.org

--- Comment #10 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-04-02 10:46:32 UTC ---
*** Bug 48406 has been marked as a duplicate of this bug. ***

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bkoz at redhat dot com

--- Comment #11 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-04-02 12:01:33 UTC ---
In fact, as noticed in 48406, adding back at the end definitions to the global
namespace appears to basically work, we have only to be careful about the
return type (int or bool in the global namespace? In std::, for C++0x we want
bool. It seems to me that, in C++0x mode at least, bool would be more
consistent for the global namespace too, but then including or not including
<cmath> after <math.h> makes a difference, weird) and other details, like, for
example, on gnu-linux, <math.h> appears to define isinf and isnan as functions
in the global namespace, I'm, afraid this kind of target dependent vagaries in
<math.h> have to be dealt with on a case by case way, maybe with some configury
:(

[Bug libstdc++/14608] <iostream.h> nukes isfinite macro from <math.h>

[fxcoudert at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14608

Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|ia64-hp-hpux11.23,*-*-darwi |ia64-hp-hpux11.23
                   |n                           |

--- Comment #12 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> ---
I don't know what's the status of this on hpux, but on darwin it got fixed at
some point.