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