Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7

2012-05-20 Thread Salvatore Bonaccorso
tags 673579 + pending thanks Hi (I added Michael Taautschnig directly to the loop) On Sat, May 19, 2012 at 11:25:41PM +0100, Steven Chamberlain wrote: tags 673579 + patch thanks On 19/05/12 23:02, Christoph Egger wrote: Steven Chamberlain ste...@pyro.eu.org writes: #if

Re: Accepted gcc-defaults 1.118 (source all amd64)

2012-05-20 Thread Bernd Zeimetz
On 05/14/2012 10:27 AM, Adam D. Barratt wrote: On 14.05.2012 09:10, Matthias Klose wrote: On 13.05.2012 21:58, Adam D. Barratt wrote: On 13.05.2012 18:42, Matthias Klose wrote: On 13.05.2012 21:22, Julien Cristau wrote: On Sun, May 13, 2012 at 18:58:42 +0200, Matthias Klose wrote: which

Re: Accepted gcc-defaults 1.118 (source all amd64)

2012-05-20 Thread Bernd Zeimetz
On 05/20/2012 11:13 PM, Bernd Zeimetz wrote: On 05/14/2012 10:27 AM, Adam D. Barratt wrote: On 14.05.2012 09:10, Matthias Klose wrote: On 13.05.2012 21:58, Adam D. Barratt wrote: On 13.05.2012 18:42, Matthias Klose wrote: On 13.05.2012 21:22, Julien Cristau wrote: On Sun, May 13, 2012 at