On Fri, Apr 05, 2013 at 12:53:03PM +0200, Johnny Billquist wrote: > In which form could this be a gcc bug? It's lint that gives the error. I > didn't think lint used gcc as some kind of backend, but I must admit I > haven't looked. Gcc codegen bug miscompiling lint. Martin