From mboxrd@z Thu Jan  1 00:00:00 1970
From: Andi Kleen <ak@suse.de>
Subject: Re: [ANNOUNCE] sparse-0.2-cl2 is now available
Date: 10 Feb 2007 18:33:25 +0100
Message-ID: <p73hctthq8q.fsf@bingen.suse.de>
References: <20070204085329.GA6520@chrisli.org>
	<20070210000055.GA19968@chrisli.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Return-path: <linux-sparse-owner@vger.kernel.org>
Received: from mx2.suse.de ([195.135.220.15]:44104 "EHLO mx2.suse.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1750725AbXBJQdT (ORCPT <rfc822;linux-sparse@vger.kernel.org>);
	Sat, 10 Feb 2007 11:33:19 -0500
In-Reply-To: <20070210000055.GA19968@chrisli.org>
Sender: linux-sparse-owner@vger.kernel.org
List-Id: linux-sparse@vger.kernel.org
To: Christopher Li <sparse@chrisli.org>
Cc: linux-sparse@vger.kernel.org, linux kernel mail list <linux-kernel@vger.kernel.org>, Josh Triplett <josh@freedesktop.org>

Christopher Li <sparse@chrisli.org> writes:
> 
> Change log in sparse-0.2-cl2:
>  - adding pointer signedness fix
>  - adding spinlock checking


Interesting. Did you find any kernel bugs with this?

-Andi