https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83463
--- Comment #13 from Martin Sebor <msebor at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #12) > How can it have a directive for the system sprintf? GCC should make it possible to format wide ints. There should also be an easy way to use the GCC pretty printer to format into a string wide int objects and objects of other GCC data types so this kind of code wouldn't be necessary. Something like gcc_sprintf().