1 #include <stdio.h>
2 
3 int main(int argc, char **argv) {
4 	char buf[10];
5 	snprintf(buf, -sizeof(buf), "%s", "foo");
6 	return 1;
7 }
8