http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56363
--- Comment #4 from Jay <jay.krell at cornell dot edu> 2013-02-19 16:18:02 UTC --- ah, here is more info; I reported the bug better years ago but it was never looked at: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46679 There I don't claim bad code, but a failure with -enable-checking. Something, like, you are supposed to have type = type / type we start with int64 = int64 / int64 but end up with int64 = uint64 / uint64 which "enable-checking" doesn't like. It is possible enable-checking has been relaxed in the years since I checked. I can try again. - Jay