new smatch
*** 11,16 **** --- 11,17 ---- } /* * check-name: infinite loop 03 * check-command: sparse -Wno-decl $file + * check-timeout: */