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