11972 resync smatch

*** 17,27 ****
          return 0;
  }
  
  /*
   * check-name: sum from 1 to n
!  * check-command: sparsei $file
   *
   * check-output-start
  15
  5050
   * check-output-end
--- 17,27 ----
          return 0;
  }
  
  /*
   * check-name: sum from 1 to n
!  * check-command: sparsei --no-jit $file
   *
   * check-output-start
  15
  5050
   * check-output-end