From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18119 invoked by alias); 28 Jan 2003 20:26:00 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 18105 invoked by uid 71); 28 Jan 2003 20:26:00 -0000 Date: Tue, 28 Jan 2003 20:26:00 -0000 Message-ID: <20030128202600.18104.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Andreas Jaeger Subject: Re: c/9482: math builtins are always visible Reply-To: Andreas Jaeger X-SW-Source: 2003-01/txt/msg01632.txt.bz2 List-Id: The following reply was made to PR c/9482; it has been noted by GNATS. From: Andreas Jaeger To: Christian Ehrhardt Cc: Andreas Jaeger , 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" 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