Print this page
new smatch

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