Print this page
12724 update smatch to 0.6.1-rc1-il-5

*** 17,25 **** /* * check-name: smatch impossible #1 * check-command: smatch -I.. sm_impossible1.c * * check-output-start ! sm_impossible1.c:12 main() [register_impossible_return] 'impossible' = 'impossible' sm_impossible1.c:14 main() register_impossible_return: no states * check-output-end */ --- 17,25 ---- /* * check-name: smatch impossible #1 * check-command: smatch -I.. sm_impossible1.c * * check-output-start ! sm_impossible1.c:12 main() [register_impossible_return] impossible = 'impossible' sm_impossible1.c:14 main() register_impossible_return: no states * check-output-end */