From mboxrd@z Thu Jan  1 00:00:00 1970
From: Sam Ravnborg <sam@ravnborg.org>
Subject: Re: Moving smatch to use sparse
Date: Thu, 5 Oct 2006 11:26:56 +0200
Message-ID: <20061005092656.GA17866@uranus.ravnborg.org>
References: <a63d67fe0607140925h3665cd98ibc2fab07f6f80360@mail.gmail.com> <a63d67fe0607151742l6a387783x59494b84de80be88@mail.gmail.com> <a63d67fe0610050141x251253fei59b93fff28505dc4@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Return-path: <linux-sparse-owner@vger.kernel.org>
Received: from pasmtpa.tele.dk ([80.160.77.114]:7057 "EHLO pasmtpA.tele.dk")
	by vger.kernel.org with ESMTP id S1751567AbWJEJ1C (ORCPT
	<rfc822;linux-sparse@vger.kernel.org>);
	Thu, 5 Oct 2006 05:27:02 -0400
Content-Disposition: inline
In-Reply-To: <a63d67fe0610050141x251253fei59b93fff28505dc4@mail.gmail.com>
Sender: linux-sparse-owner@vger.kernel.org
List-Id: linux-sparse@vger.kernel.org
To: Dan Carpenter <error27@gmail.com>
Cc: smatch-discuss@lists.sf.net, linux-sparse@vger.kernel.org

On Thu, Oct 05, 2006 at 01:41:03AM -0700, Dan Carpenter wrote:
> Work on smatch is going ahead.  I have one real life check is working
> and I've added a patched up the core code quite a bit.

For the mindless - can you please repeat what smatch does?

	Sam