From owner-svn-src-head@FreeBSD.ORG Mon Nov 14 19:19:16 2011 Return-Path: Delivered-To: svn-src-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 2BF8A106566C; Mon, 14 Nov 2011 19:19:16 +0000 (UTC) (envelope-from das@freebsd.org) Received: from zim.MIT.EDU (ZIM.MIT.EDU [18.95.3.101]) by mx1.freebsd.org (Postfix) with ESMTP id C2DAF8FC1D; Mon, 14 Nov 2011 19:19:15 +0000 (UTC) Received: from zim.MIT.EDU (localhost [127.0.0.1]) by zim.MIT.EDU (8.14.5/8.14.2) with ESMTP id pAEJJEs1058722; Mon, 14 Nov 2011 14:19:14 -0500 (EST) (envelope-from das@freebsd.org) Received: (from das@localhost) by zim.MIT.EDU (8.14.5/8.14.2/Submit) id pAEJJEXh058721; Mon, 14 Nov 2011 14:19:14 -0500 (EST) (envelope-from das@freebsd.org) Date: Mon, 14 Nov 2011 14:19:14 -0500 From: David Schultz To: David Chisnall Message-ID: <20111114191914.GA58676@zim.MIT.EDU> Mail-Followup-To: David Chisnall , Dimitry Andric , Stefan Farfeleder , src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org References: <201111131618.pADGIm2n099696@svn.freebsd.org> <20111114082129.GA1596@mole.fafoe.narf.at> <4EC0E6C2.4010509@FreeBSD.org> <20111114180235.GA58284@zim.MIT.EDU> <3B8C1412-E18D-47E3-A09D-4847DD078963@FreeBSD.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <3B8C1412-E18D-47E3-A09D-4847DD078963@FreeBSD.org> Cc: svn-src-head@freebsd.org, svn-src-all@freebsd.org, Stefan Farfeleder , Dimitry Andric , src-committers@freebsd.org Subject: Re: svn commit: r227487 - head/include X-BeenThere: svn-src-head@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: SVN commit messages for the src tree for head/-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 14 Nov 2011 19:19:16 -0000 On Mon, Nov 14, 2011, David Chisnall wrote: > On 14 Nov 2011, at 18:02, David Schultz wrote: > > > On Mon, Nov 14, 2011, Dimitry Andric wrote: > >> On 2011-11-14 09:21, Stefan Farfeleder wrote: > >>> On Sun, Nov 13, 2011 at 04:18:48PM +0000, David Chisnall wrote: > >>>> Author: theraven > >>>> Date: Sun Nov 13 16:18:48 2011 > >>>> New Revision: 227487 > >>>> URL: http://svn.freebsd.org/changeset/base/227487 > >>>> > >>>> Log: > >>>> The spec says that FILE must be defined in wchar.h, but it wasn't. It > >>>> is now. Also hide some macros in C++ mode that will break C++ > >>>> namespaced calls. > >>>> > >>>> Approved by: dim (mentor) > >>> > >>> I think this change is wrong. Whic spec are you referring to? C99 > >>> defines FILE only in 7.19.1#2 (stdio.h). In other headers FILE is used > >>> as parameter type for functions but that does not mean it is exported to > >>> user space. > >> > >> http://pubs.opengroup.org/onlinepubs/007908799/xsh/wchar.h.html > > > > It's a niggling detail, but that's an extension to the C standard, > > so properly speaking, it belongs in an > > #if __POSIX_VISIBLE >= 200809 || XSI_VISIBLE > > (or something like that). The formals were struct __sFILE * > > instead of FILE * for that reason -- see r103177. > > > > P.S. You're looking at a very old version of POSIX. Check out: > > http://pubs.opengroup.org/onlinepubs/9699919799/ > > The C99 and C1x specifications both seem to require stdio.h to be included before wchar.h. I think this therefore places including wchar.h and not stdio.h in the category of undefined (or, at least, not defined) behaviour, so we are free to do anything in this case. I would say that accepting the code and working as the programmer expected is the least harmful thing to do here. This is what Darwin libc does (actually, it #includes stdio.h in wchar.h). The C99 standard has plenty of examples of programs including but not . The latter is only required to call the functions that take a FILE * parameter. It's mostly an academic point because no sane programmer would ever create a new type named FILE, but FreeBSD actually did right by C99 before you reverted r103177.