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
*/