From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12675 invoked by alias); 28 Jan 2003 20:16:02 -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 12633 invoked by uid 71); 28 Jan 2003 20:16:02 -0000 Date: Tue, 28 Jan 2003 20:16:00 -0000 Message-ID: <20030128201602.12632.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: "Christian Ehrhardt" Subject: Re: c/9482: math builtins are always visible Reply-To: "Christian Ehrhardt" X-SW-Source: 2003-01/txt/msg01630.txt.bz2 List-Id: The following reply was made to PR c/9482; it has been noted by GNATS. From: "Christian Ehrhardt" To: Andreas Jaeger 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" 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!