https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114374
--- Comment #4 from Torsten Mandel <torsten.mandel at sap dot com> --- E.g.: #include "stdio.h" #include <climits> int main() { char buf[11]; int loop(1); do { snprintf(buf,sizeof(buf),"%d",loop++); } while(loop<10); }