1 int __spin_trylock(int x
);
4 static int options_write(void)
9 while(!__spin_trylock(lock
))
13 for (i
= 0; i
< 10 && frob(); i
++)
18 * check-name: smatch array check
19 * check-command: smatch sm_array_overflow.c
22 sm_array_overflow.c +15 options_write(11) error: buffer overflow 'buf' 10 <= 10