From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:40744) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Soi6x-0004qW-HY for qemu-devel@nongnu.org; Tue, 10 Jul 2012 17:36:48 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Soi6s-00031V-Np for qemu-devel@nongnu.org; Tue, 10 Jul 2012 17:36:46 -0400 Received: from mail-bk0-f45.google.com ([209.85.214.45]:56442) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Soi6s-000318-Gm for qemu-devel@nongnu.org; Tue, 10 Jul 2012 17:36:42 -0400 Received: by bkcji1 with SMTP id ji1so430501bkc.4 for ; Tue, 10 Jul 2012 14:36:40 -0700 (PDT) MIME-Version: 1.0 In-Reply-To: References: Date: Tue, 10 Jul 2012 22:36:39 +0100 Message-ID: From: Peter Maydell Content-Type: text/plain; charset=UTF-8 Subject: Re: [Qemu-devel] [PATCH v2 1/3] bitops: fix types List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Blue Swirl Cc: Markus Armbruster , qemu-devel On 10 July 2012 21:01, Blue Swirl wrote: > On Tue, Jul 10, 2012 at 7:37 PM, Peter Maydell wrote: >> On 10 July 2012 20:18, Blue Swirl wrote: >>> On Mon, Jul 9, 2012 at 7:49 AM, Markus Armbruster wrote: >>>> There is no consensus. I recognize the power of maintainers to force a >>>> change even without consensus. Use it wisely. >>> >>> I thought I refuted all concrete arguments except performance. >> >> No, you made various claims that Markus and I at least >> disagreed with. (Conversely, we have made various claims >> that you disagree with -- this is what "no consensus" means...) > > You did not present any concrete arguments. In this review you have > pointed at bugs in the assert() expression, thanks. No, a bug in your assert is an indication of why there are downsides to making random changes, not a concrete argument against making the changes. The major problem here is (a) there is no really good reason to make this change (b) it's moving away from the existing tested code we have (and that the kernel has). Basically 'int' has more natural behaviour for reasoning about than 'unsigned' in ranges where it's usually used (ie small ones). -- PMM