From owner-cvs-all  Mon Jul 29  9:24:25 2002
Delivered-To: cvs-all@freebsd.org
Received: from mx1.FreeBSD.org (mx1.FreeBSD.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP
	id 97FE937B405; Mon, 29 Jul 2002 09:24:19 -0700 (PDT)
Received: from espresso.q9media.com (espresso.q9media.com [65.39.129.122])
	by mx1.FreeBSD.org (Postfix) with ESMTP
	id A3C5143E5E; Mon, 29 Jul 2002 09:24:18 -0700 (PDT)
	(envelope-from mike@espresso.q9media.com)
Received: by espresso.q9media.com (Postfix, from userid 1002)
	id B4C1F9E59; Mon, 29 Jul 2002 12:19:35 -0400 (EDT)
Date: Mon, 29 Jul 2002 12:19:35 -0400
From: Mike Barcroft <mike@FreeBSD.org>
To: Tony Finch <dot@dotat.at>
Cc: Garrett Wollman <wollman@lcs.mit.edu>,
	Don Lewis <dl-freebsd@catspoiler.org>, jhb@FreeBSD.org,
	cvs-all@FreeBSD.org, cvs-committers@FreeBSD.org
Subject: Re: cvs commit: src/sys/kern kern_sysctl.c
Message-ID: <20020729121935.G78633@espresso.q9media.com>
References: <XFMail.20020728234222.jhb@FreeBSD.org> <200207290514.g6T5EPwr065150@gw.catspoiler.org> <200207291600.g6TG0geG099923@khavrinen.lcs.mit.edu> <20020729170426.F6864@chiark.greenend.org.uk>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20020729170426.F6864@chiark.greenend.org.uk>; from dot@dotat.at on Mon, Jul 29, 2002 at 05:04:26PM +0100
Organization: The FreeBSD Project
Sender: owner-cvs-all@FreeBSD.ORG
Precedence: bulk
List-ID: <cvs-all.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20cvs-all>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20cvs-all>
X-Loop: FreeBSD.ORG

Tony Finch <dot@dotat.at> writes:
> On Mon, Jul 29, 2002 at 12:00:42PM -0400, Garrett Wollman wrote:
> > On Sun, 28 Jul 2002 22:14:25 -0700 (PDT), Don Lewis <dl-freebsd@catspoiler.org> said:
> > 
> > > One question is whether we want to support calls where the old and new
> > > pointers point to the same address.
> > 
> > I'd be happy to add a `restrict' qualifier to disallow this from
> > happening.
> 
> Excuse me for being pedantic, but it doesn't disallow it, it merely
> documents that the function has undefined behaviour in that situation.

And worse, GCC doesn't define the behavior as producing a warning,
even for obvious violations.

Best regards,
Mike Barcroft

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe cvs-all" in the body of the message