From owner-freebsd-current@FreeBSD.ORG  Fri Jul 27 18:34:12 2012
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: current@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
	by hub.freebsd.org (Postfix) with ESMTP id E1F04106566B
	for <current@freebsd.org>; Fri, 27 Jul 2012 18:34:12 +0000 (UTC)
	(envelope-from phk@phk.freebsd.dk)
Received: from phk.freebsd.dk (phk.freebsd.dk [130.225.244.222])
	by mx1.freebsd.org (Postfix) with ESMTP id 9E49F8FC15
	for <current@freebsd.org>; Fri, 27 Jul 2012 18:34:12 +0000 (UTC)
Received: from critter.freebsd.dk (unknown [192.168.48.2])
	by phk.freebsd.dk (Postfix) with ESMTP id 3C5B53B789;
	Fri, 27 Jul 2012 18:34:11 +0000 (UTC)
Received: from critter.freebsd.dk (localhost [127.0.0.1])
	by critter.freebsd.dk (8.14.5/8.14.5) with ESMTP id q6RIYAsG010807;
	Fri, 27 Jul 2012 18:34:11 GMT (envelope-from phk@phk.freebsd.dk)
To: Luigi Rizzo <rizzo@iet.unipi.it>
From: "Poul-Henning Kamp" <phk@phk.freebsd.dk>
In-Reply-To: Your message of "Fri, 27 Jul 2012 14:51:34 +0200."
	<20120727125134.GA58187@onelab2.iet.unipi.it>
Content-Type: text/plain; charset=ISO-8859-1
Date: Fri, 27 Jul 2012 18:34:10 +0000
Message-ID: <10806.1343414050@critter.freebsd.dk>
Cc: current@freebsd.org
Subject: Re: (void)foo or __unused foo ?
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>, 
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 27 Jul 2012 18:34:13 -0000

In message <20120727125134.GA58187@onelab2.iet.unipi.it>, Luigi Rizzo writes:

>A comment might be used to explain the intention in even more detail:
>
>	(void)foo;	/* unused on XyBSD and Babbage-OS */

Comments are noise which compilers and static checkers cannot and
should not examine.

The intent should be expressed where compilers and static checkers
can see it.

-- 
Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk@FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    
Never attribute to malice what can adequately be explained by incompetence.