Thanks Jan, Pedro,

I found an i7 laptop on which I can now reproduce the sporadic fails - about
once every dozen or so test iterations.

Thanks,
Markus.

> -----Original Message-----
> From: Jan Kratochvil [mailto:jan.kratochvil@redhat.com]
> Sent: Tuesday, June 12, 2012 2:26 PM
> To: Pedro Alves
> Cc: Metzger, Markus T; kettenis@gnu.org; gdb-patches@sourceware.org;
> markus.t.metzger@gmail.com
> Subject: Re: [PATCH 00/16] branch tracing support (resend)
> 
> On Tue, 12 Jun 2012 14:22:44 +0200, Pedro Alves wrote:
> > x86_64 Fedora 16, kernel 3.3.7-1.fc16.x86_64, running on an
> > i7-2620M @ 2.70GHz (an IBM ThinkPad T520)
> 
> IBM ThinkPad X220
> 
> 
> > A gz of my /proc/cpuinfo is attached, in case more detail helps.
> 
> The only difference:
> yours: microcode      : 0x25
> mine:  microcode      : 0x28
> 
> microcode_ctl-1.17-25.fc16.x86_64
> 
> 
> Regards,
> Jan