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);
}
