From owner-cvs-all Mon Jul 29 9: 5: 2 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 4745837B400; Mon, 29 Jul 2002 09:04:58 -0700 (PDT) Received: from chiark.greenend.org.uk (chiark.greenend.org.uk [212.135.138.206]) by mx1.FreeBSD.org (Postfix) with ESMTP id 0776A43E4A; Mon, 29 Jul 2002 09:04:37 -0700 (PDT) (envelope-from fanf@chiark.greenend.org.uk) Received: from fanf by chiark.greenend.org.uk with local (Exim 3.12 #1) id 17ZD0U-0000bl-00 (Debian); Mon, 29 Jul 2002 17:04:26 +0100 Date: Mon, 29 Jul 2002 17:04:26 +0100 From: Tony Finch To: Garrett Wollman Cc: Don Lewis , jhb@FreeBSD.org, cvs-all@FreeBSD.org, cvs-committers@FreeBSD.org Subject: Re: cvs commit: src/sys/kern kern_sysctl.c Message-ID: <20020729170426.F6864@chiark.greenend.org.uk> References: <200207290514.g6T5EPwr065150@gw.catspoiler.org> <200207291600.g6TG0geG099923@khavrinen.lcs.mit.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <200207291600.g6TG0geG099923@khavrinen.lcs.mit.edu>; from wollman@lcs.mit.edu on Mon, Jul 29, 2002 at 12:00:42PM -0400 Sender: owner-cvs-all@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG 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 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. Tony. -- f.a.n.finch http://dotat.at/ ROCKALL MALIN: VARIABLE 4 BECOMING NORTHWEST 5 OCCASIONALLY 6. OCCASIONAL RAIN BUT MAINLY FAIR IN ROCKALL. MODERATE OR GOOD. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe cvs-all" in the body of the message