e36aeda
1
2
3
4
5
6
7
8
static void f1() { char buf[10]; int i; for(i = 0; i < 10; i++) buf[i] = 1; }