------- Comment #3 from jakub at gcc dot gnu dot org 2008-10-07 13:22 ------- I think the warning is desirable, the code isn't portable to non-32bit int targets. Wonder if we just shouldn't give a TYPE_NAME to uint32_type_node and uint64_type_node (__builtin_uint32_t and __builtin_uint64_t or something similar), then c-format would print that instead and the warning would be clearer.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37743
