From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:43022)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <paolo.bonzini@gmail.com>) id 1aJhGd-0001qf-HB
	for qemu-devel@nongnu.org; Thu, 14 Jan 2016 07:44:44 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <paolo.bonzini@gmail.com>) id 1aJhGZ-0001J3-Ej
	for qemu-devel@nongnu.org; Thu, 14 Jan 2016 07:44:43 -0500
Received: from mail-wm0-x233.google.com ([2a00:1450:400c:c09::233]:33486)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <paolo.bonzini@gmail.com>) id 1aJhGZ-0001Iy-7u
	for qemu-devel@nongnu.org; Thu, 14 Jan 2016 07:44:39 -0500
Received: by mail-wm0-x233.google.com with SMTP id f206so343911146wmf.0
	for <qemu-devel@nongnu.org>; Thu, 14 Jan 2016 04:44:38 -0800 (PST)
Sender: Paolo Bonzini <paolo.bonzini@gmail.com>
References: <CAFEAcA_QxuXTnjSxPVvqRgyoD3UfvYuBZma9Ctdkwc4jXRaD+w@mail.gmail.com>
	<CAFEAcA9S6vj20F_TyTeqJ57bw-j=3ozGb1UesZcg_gzY1-hJ6w@mail.gmail.com>
	<CAFEAcA8VpnbUzQUhwz_RKNG7C+6cniGGWmSx8SrOHXaPey5LPA@mail.gmail.com>
	<5550716F.2000609@redhat.com>
	<CAFEAcA-H10zjDcn4Vs-Xz07SGi=CD1CCBZ21Gq8zG_7mWQV1BA@mail.gmail.com>
	<556849AB.2090505@redhat.com>
	<CAFEAcA9G2cNugtuqy8NnRNJBcj9WnTe0b2ev0057gMPVVXmE-A@mail.gmail.com>
	<560D3739.1000405@redhat.com> <563BB67D.4070409@redhat.com>
	<CAFEAcA-2DPq0aOCcBtWAgqJJT8=vqhkUer0q4xZgjUS5gMHevA@mail.gmail.com>
From: Paolo Bonzini <pbonzini@redhat.com>
Message-ID: <56979831.6070204@redhat.com>
Date: Thu, 14 Jan 2016 13:44:33 +0100
MIME-Version: 1.0
In-Reply-To: <CAFEAcA-2DPq0aOCcBtWAgqJJT8=vqhkUer0q4xZgjUS5gMHevA@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Qemu-devel] clang -fsanitize=undefined warnings in the string
	visitors
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: Peter Maydell <peter.maydell@linaro.org>, John Snow <jsnow@redhat.com>
Cc: Luiz Capitulino <lcapitulino@redhat.com>, QEMU Developers <qemu-devel@nongnu.org>, Michael Roth <mdroth@linux.vnet.ibm.com>



On 14/01/2016 12:15, Peter Maydell wrote:
> On 5 November 2015 at 20:05, John Snow <jsnow@redhat.com> wrote:
>>
>>
>> On 10/01/2015 09:38 AM, Paolo Bonzini wrote:
>>>
>>>
>>> On 01/10/2015 12:47, Peter Maydell wrote:
>>>> On 29 May 2015 at 12:12, Paolo Bonzini <pbonzini@redhat.com> wrote:
>>>>>
>>>>>
>>>>> On 29/05/2015 12:56, Peter Maydell wrote:
>>>>>>>>>> Paolo: ping^2, since we're out of release freeze now?
>>>>>>>>
>>>>>>>> I have some patches, but this isn't really the best time for me to post
>>>>>>>> them...
>>>>>> Ping...has the timing improved?
>>>>>
>>>>> Almost. :)  Next week, promised.
>>>>
>>>> Ping again, six months later...
>>>
>>> Uh, I thought they were already in. :)
>>>
>>> Paolo
>>>
>>
>> Did patches ever get posted to list for this?
> 
> Not that I saw -- ping again, Paolo. This is the only warning
> that clang's sanitizer currently produces for me, and arithmetic
> overflows on addition seem genuinely worth investigation...

It happens when the range is 2^64 in size.

Does it still matter if we've decided to use -fwrapv because of left
shifts?  Or are we still considering the possibility to use -std=gnu89
(where left shifts give unspecified behavior rather than undefined)?

Paolo