11972 resync smatch

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