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