Re: c/9482: math builtins are always visible

["Christian Ehrhardt" <ehrhardt@mathematik.uni-ulm.de>]

The following reply was made to PR c/9482; it has been noted by GNATS.

From: "Christian Ehrhardt" <ehrhardt@mathematik.uni-ulm.de>
To: Andreas Jaeger <aj@suse.de>
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: c/9482: math builtins are always visible
Date: Tue, 28 Jan 2003 21:11:15 +0100

 On Tue, Jan 28, 2003 at 05:50:20PM +0100, Andreas Jaeger wrote:
 > "Christian Ehrhardt" <ehrhardt@mathematik.uni-ulm.de> writes:
 > > My version of the standard says in 7.1.3:
 > >    All identifiers with external linkage in any of the following subclauses
 > >    (including the future library directions) are always reserved for use as
 > >    identifiers with external linkage.
 > > This doesn't mention the header file. Note that macros are a different
 > > story. These are indeed only reserved if the appropriate header in included.
 > > If you agree on this I'll close the report.
 > 
 > I do not (yet;-) agree.
 > 
 > Footnote 154 mentions: "The list of reserved identifiers with external
 > linkage includes errno, setjmp, and va_end.".
 
 This list exactly those reserved identifiers that may either be a macro
 or an identifier with external linkage. log is definitely declared with
 external linkage in math.h.
 
 > I do not think that "log" is meant here but rather meant in the item a
 > bit further, where 7.1.3 says:
 > "Each identifier with file scope listed in any of the
 >  following subclauses (including the future library directions) is
 >  reserved for use as a macro name and as an identifier with file scope
 >  in the same name space if any of its associated headers is included."
 > 
 > So, the question boils down IMO to whether "log" has "file scope" or
 > "external linkage".
 
 Most definitely external linkage. File scope would be
 static double log (double). 
 But then I'm not a language lawyer.
 
    regards  Christian
 
 -- 
 THAT'S ALL FOLKS!