From owner-freebsd-hackers@FreeBSD.ORG  Wed Dec  5 23:59:51 2012
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
Delivered-To: hackers@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
 by hub.freebsd.org (Postfix) with ESMTP id 515D58BA
 for <hackers@freebsd.org>; Wed,  5 Dec 2012 23:59:51 +0000 (UTC)
 (envelope-from vijju.singh@gmail.com)
Received: from mail-ee0-f54.google.com (mail-ee0-f54.google.com [74.125.83.54])
 by mx1.freebsd.org (Postfix) with ESMTP id D418F8FC14
 for <hackers@freebsd.org>; Wed,  5 Dec 2012 23:59:50 +0000 (UTC)
Received: by mail-ee0-f54.google.com with SMTP id c13so4038521eek.13
 for <hackers@freebsd.org>; Wed, 05 Dec 2012 15:59:49 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
 h=mime-version:date:message-id:subject:from:to:content-type;
 bh=v+ZiqTe0a9xZYz7hmJ5N7ma+nc5XIYDk6NkwioOf0HQ=;
 b=S2BwWkupH8Hycbf9H9RBcapSAcB3aHhdxTEuh/GDwQwB36ykCPWDwG7Kj2eOXVQaTB
 JlmcJ45g+GNwtg8TTufNmSr5BgqWMxwl+zxWCt+D+GTOTMl2ZSh3Dw9X3LxLRpS5RlEJ
 hbH2fvgI+Y/YxIb7RIr9GstkMQoQVBAQ/BSY3ceIQ2rPUXRxh2lxdPYoKwQWFHH/NcEc
 FK+0mc44G3iQuDcHvUei8lT9IZLtpe8mlklnQViQam8vNjFrJtQgve3YwPNpgI6VRus2
 2ktyQ3tVLwTvQe+RfyOSF2vnw0bydfFfzbBn0WQclioRCSGHRE9LkRewdU9fH2Ut6bVF
 2VRA==
MIME-Version: 1.0
Received: by 10.14.198.67 with SMTP id u43mr66689408een.7.1354751989627; Wed,
 05 Dec 2012 15:59:49 -0800 (PST)
Received: by 10.14.3.133 with HTTP; Wed, 5 Dec 2012 15:59:49 -0800 (PST)
Date: Wed, 5 Dec 2012 15:59:49 -0800
Message-ID: <CALCNsJTm5e8KZ5Y+CBGrAMzDUbyZSSh+G76AHTufJA7y0wnt0g@mail.gmail.com>
Subject: KVERIFY for non-debug invariants?
From: Vijay Singh <vijju.singh@gmail.com>
To: hackers@freebsd.org
Content-Type: text/plain; charset=ISO-8859-1
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
 <freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-hackers>, 
 <mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
 <mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 05 Dec 2012 23:59:51 -0000

All. KASSERT() is a really need way of expressing invariants when
INVARIANTS is defined. However for regular, non-INVARIANTS code folks
have the typical if() panic() combos, or private macros. Would a
KVERIFY() that does this in non-INVARIANTS code make sense?

-vijay