http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50865 --- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2011-10-25 15:55:28 UTC --- Ah, I see your point - this is % 1 not % -1, so there does indeed seem to be a bug here.