Re: c/9482: math builtins are always visible

[Andreas Jaeger <aj at suse dot de>]

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

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

 On Tue, Jan 28, 2003 at 09:11:15PM +0100, Christian Ehrhardt wrote:
 > 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!
 
 Ok, I'm convinced now.  Thanks for helping to understand the standard.
 
 I'll close the PR now myself,
 Andreas
 -- 
  Andreas Jaeger
   SuSE Labs aj@suse.de
    private aj@arthur.inka.de
     http://www.suse.de/~aj