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

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