Print this page
new 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