Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-26 Thread Peter Maydell
On 26 April 2017 at 14:32, Cédric Le Goater wrote: > On 04/26/2017 03:15 PM, Peter Maydell wrote: >> I just looked into this, and I think the best set of configure options is: >> '--cc=clang' '--cxx=clang++' '--extra-cflags=-fsanitize=undefined >> -fno-sanitize=shift-base -Werror' > > Ah ! Too fas

Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-26 Thread Cédric Le Goater
On 04/26/2017 03:15 PM, Peter Maydell wrote: > On 26 April 2017 at 11:46, Peter Maydell wrote: >> All the stuff about shifts is false positives, because the sanitizer >> doesn't know that -fwrapv makes these operations defined behaviour. >> >> Newer versions of clang I think get this correct, and

Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-26 Thread Peter Maydell
On 26 April 2017 at 11:46, Peter Maydell wrote: > All the stuff about shifts is false positives, because the sanitizer > doesn't know that -fwrapv makes these operations defined behaviour. > > Newer versions of clang I think get this correct, and less new > but not ancient clang has a flag that sa

Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-26 Thread Peter Maydell
On 26 April 2017 at 07:11, Cédric Le Goater wrote: > yes. May be we could add this flag : > > --extra-cflags=-fsanitize=undefined > > to the travis builds using clang ? It is reporting a couple of errors on ppc64 > > target/ppc/translate.c:980:56: runtime error: left shift of negative valu

Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-25 Thread Cédric Le Goater
On 04/26/2017 04:38 AM, David Gibson wrote: > On Mon, Apr 24, 2017 at 02:12:19PM +0100, Peter Maydell wrote: >> On 24 April 2017 at 02:58, David Gibson wrote: >>> The following changes since commit 32c7e0ab755745e961f1772e95cac381cc68769d: >>> >>> Merge remote-tracking branch >>> 'remotes/juanq

Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-25 Thread David Gibson
On Mon, Apr 24, 2017 at 02:12:19PM +0100, Peter Maydell wrote: > On 24 April 2017 at 02:58, David Gibson wrote: > > The following changes since commit 32c7e0ab755745e961f1772e95cac381cc68769d: > > > > Merge remote-tracking branch > > 'remotes/juanquintela/tags/migration/20170421' into staging (

Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-24 Thread Cédric Le Goater
On 04/24/2017 04:38 PM, Cédric Le Goater wrote: > On 04/24/2017 03:12 PM, Peter Maydell wrote: >> On 24 April 2017 at 02:58, David Gibson wrote: >>> The following changes since commit 32c7e0ab755745e961f1772e95cac381cc68769d: >>> >>> Merge remote-tracking branch >>> 'remotes/juanquintela/tags/m

Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-24 Thread Cédric Le Goater
On 04/24/2017 03:12 PM, Peter Maydell wrote: > On 24 April 2017 at 02:58, David Gibson wrote: >> The following changes since commit 32c7e0ab755745e961f1772e95cac381cc68769d: >> >> Merge remote-tracking branch >> 'remotes/juanquintela/tags/migration/20170421' into staging (2017-04-21 >> 15:59:2

Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-24 Thread Peter Maydell
On 24 April 2017 at 02:58, David Gibson wrote: > The following changes since commit 32c7e0ab755745e961f1772e95cac381cc68769d: > > Merge remote-tracking branch 'remotes/juanquintela/tags/migration/20170421' > into staging (2017-04-21 15:59:27 +0100) > > are available in the git repository at: >

Re: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-23 Thread no-reply
Hi, This series seems to have some coding style problems. See output below for more information: Message-id: 20170424015927.8933-1-da...@gibson.dropbear.id.au Subject: [Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424 Type: series === TEST SCRIPT BEGIN === #!/bin/bash BASE=base n=1 total

[Qemu-devel] [PULL 00/47] ppc-for-2.10 queue 20170424

2017-04-23 Thread David Gibson
The following changes since commit 32c7e0ab755745e961f1772e95cac381cc68769d: Merge remote-tracking branch 'remotes/juanquintela/tags/migration/20170421' into staging (2017-04-21 15:59:27 +0100) are available in the git repository at: git://github.com/dgibson/qemu.git tags/ppc-for-2.10-20170