From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1KlQXf-00022i-Gq for qemu-devel@nongnu.org; Thu, 02 Oct 2008 11:56:39 -0400 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1KlQXe-00021s-On for qemu-devel@nongnu.org; Thu, 02 Oct 2008 11:56:39 -0400 Received: from [199.232.76.173] (port=46189 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KlQXe-00021n-Lx for qemu-devel@nongnu.org; Thu, 02 Oct 2008 11:56:38 -0400 Received: from mail-gx0-f19.google.com ([209.85.217.19]:37622) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1KlQXd-0001Zd-Ur for qemu-devel@nongnu.org; Thu, 02 Oct 2008 11:56:38 -0400 Received: by gxk12 with SMTP id 12so1665366gxk.10 for ; Thu, 02 Oct 2008 08:56:37 -0700 (PDT) Message-ID: <48E4EEF4.1080107@codemonkey.ws> Date: Thu, 02 Oct 2008 10:55:32 -0500 From: Anthony Liguori MIME-Version: 1.0 Subject: Re: [Qemu-devel] [PATCH 1/4] add byteordered types to qemu. References: <1222870375-13489-1-git-send-email-kraxel@redhat.com> <20081002082137.GA25959@lst.de> <48E4C2B1.7010108@redhat.com> <20081002125526.GA6552@lst.de> <48E4C967.1070407@redhat.com> <20081002131753.GA7838@lst.de> <48E4D5C5.8080107@redhat.com> In-Reply-To: <48E4D5C5.8080107@redhat.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Reply-To: qemu-devel@nongnu.org List-Id: qemu-devel.nongnu.org List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org Cc: Christoph Hellwig , Gerd Hoffmann Gerd Hoffmann wrote: > Christoph Hellwig wrote: > >> cgcc is a drop-in wrapper that calls both gcc and sparse. So you just >> set your compiler to cgcc before configure or in the Makefile and then >> both sparse and gcc get run. >> > > The attached configure patch enabled that in case sparse is installed. > Should also get cross-builds right. Only buildsystem stuff for now, no > bitwise annotations (yet). > > Oh joy, I get sparse warnings and errors(!) for the system headers then. > Disabled the most noisy stuff for now. > > Comments? > Good idea, but perhaps it should be disabled by default instead of enabled by default? Regards, Anthony Liguori > Gerd > >