From mboxrd@z Thu Jan  1 00:00:00 1970
From: Fengguang Wu <fengguang.wu@intel.com>
Subject: Re: [kbuild] [vfio:vfio-vga 3/5]
 drivers/vfio/pci/vfio_pci_rdwr.c:169 vfio_pci_bar_rw() warn: always true
 condition '(done >= 0) => (0-u32max >= 0)'
Date: Thu, 17 Jan 2013 22:59:09 +0800
Message-ID: <20130117145909.GB23559@localhost>
References: <50f70feb.ZSR7zBYc69/bckGk%fengguang.wu@intel.com>
 <20130117012101.GB7017@localhost>
 <1358394477.11144.29.camel@bling.home>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Cc: kvm@vger.kernel.org
To: Alex Williamson <alex.williamson@redhat.com>
Return-path: <kvm-owner@vger.kernel.org>
Received: from mga01.intel.com ([192.55.52.88]:51739 "EHLO mga01.intel.com"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1756272Ab3AQO7X (ORCPT <rfc822;kvm@vger.kernel.org>);
	Thu, 17 Jan 2013 09:59:23 -0500
Content-Disposition: inline
In-Reply-To: <1358394477.11144.29.camel@bling.home>
Sender: kvm-owner@vger.kernel.org
List-ID: <kvm.vger.kernel.org>

On Wed, Jan 16, 2013 at 08:47:57PM -0700, Alex Williamson wrote:
> On Thu, 2013-01-17 at 09:21 +0800, Fengguang Wu wrote:
> > Hi Alex,
> > 
> > FYI, there are new smatch warnings show up in
> > 
> > tree:   git://github.com/awilliam/linux-vfio.git vfio-vga
> 
> Thanks for the bug report.  I never would have expected but reports from
> an unadvertised branch but it's a really cool service.  Thanks for
> providing it!

My pleasure! :)

Thanks,
Fengguang