From owner-svn-src-all@FreeBSD.ORG  Sat Dec 15 13:02:08 2012
Return-Path: <owner-svn-src-all@FreeBSD.ORG>
Delivered-To: svn-src-all@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
 by hub.freebsd.org (Postfix) with ESMTP id 31FB7B9B
 for <svn-src-all@FreeBSD.org>; Sat, 15 Dec 2012 13:02:08 +0000 (UTC)
 (envelope-from glebius@FreeBSD.org)
Received: from cell.glebius.int.ru (glebius.int.ru [81.19.69.10])
 by mx1.freebsd.org (Postfix) with ESMTP id 9E65A8FC16
 for <svn-src-all@FreeBSD.org>; Sat, 15 Dec 2012 13:02:07 +0000 (UTC)
Received: from cell.glebius.int.ru (localhost [127.0.0.1])
 by cell.glebius.int.ru (8.14.5/8.14.5) with ESMTP id qBFD1nmd097959;
 Sat, 15 Dec 2012 17:01:49 +0400 (MSK)
 (envelope-from glebius@FreeBSD.org)
Received: (from glebius@localhost)
 by cell.glebius.int.ru (8.14.5/8.14.5/Submit) id qBFD1nRf097958;
 Sat, 15 Dec 2012 17:01:49 +0400 (MSK)
 (envelope-from glebius@FreeBSD.org)
X-Authentication-Warning: cell.glebius.int.ru: glebius set sender to
 glebius@FreeBSD.org using -f
Date: Sat, 15 Dec 2012 17:01:49 +0400
From: Gleb Smirnoff <glebius@FreeBSD.org>
To: Alfred Perlstein <bright@mu.org>
Subject: Re: svn commit: r244112 - head/sys/kern
Message-ID: <20121215130149.GB94420@FreeBSD.org>
References: <201212110708.qBB78EWx025288@svn.freebsd.org>
 <50C9271C.70803@mu.org> <20121213090215.GP97487@FreeBSD.org>
 <201212141149.07671.jhb@freebsd.org>
 <alpine.BSF.2.00.1212150010160.54345@fledge.watson.org>
 <50CBC285.7060307@mu.org> <20121215161414.V1029@besplex.bde.org>
 <50CC6E8D.6040707@mu.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=koi8-r
Content-Disposition: inline
In-Reply-To: <50CC6E8D.6040707@mu.org>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Mailman-Approved-At: Sat, 15 Dec 2012 13:18:22 +0000
Cc: Adrian Chadd <adrian@FreeBSD.org>, src-committers@FreeBSD.org,
 John Baldwin <jhb@FreeBSD.org>, svn-src-all@FreeBSD.org,
 Alfred Perlstein <alfred@FreeBSD.org>, Andriy Gapon <avg@FreeBSD.org>,
 Robert Watson <rwatson@FreeBSD.org>, Navdeep Parhar <np@FreeBSD.org>,
 Bruce Evans <brde@optusnet.com.au>, svn-src-head@FreeBSD.org
X-BeenThere: svn-src-all@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: "SVN commit messages for the entire src tree \(except for &quot;
 user&quot; and &quot; projects&quot; \)" <svn-src-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-src-all>,
 <mailto:svn-src-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-src-all>
List-Post: <mailto:svn-src-all@freebsd.org>
List-Help: <mailto:svn-src-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-all>,
 <mailto:svn-src-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 15 Dec 2012 13:02:08 -0000

On Sat, Dec 15, 2012 at 04:35:25AM -0800, Alfred Perlstein wrote:
A> People keep beating this drum "all invariants/panics are there for a 
A> reason", no, some happen to be bugs, and when I'm shipping code to a 
A> customer, I may need to skip one of these buggy assertions.

Yes, if you know any buggy assertions, please remove them from FreeBSD tree.

A> Some people have responded to this by saying "alfred show me the buggy 
A> assertions" to which my response is two fold "firstly, you're calling me 
A> a liar which I do not appreciate, second prove to me that all the 1000s 
A> of asserts have zero bugs and are not overly zealous about calling panic."

We are not going to prove that. If you claim that some assertion is buggy,
you prove that it is buggy and happily remove it from source tree. Noone
is going to spend time proving you that 1000s of assertions are not buggy.

Home reading for you:

http://en.wikipedia.org/wiki/Russell%27s_teapot

-- 
Totus tuus, Glebius.