http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50347
--- Comment #2 from Jeremy <gcc.hall at gmail dot com> 2011-09-10 21:57:59 UTC --- I think also the doc needs changing for __builtin_bswap64/32 as it looks like they accept and return unsigned integers. uint64_t instead of int64_t.