db/fixup_kernel.sh: hack handling of _parse_integer()
[smatch.git] / smatch_data / no_return_funcs
blob56fa52bb2568a370d603c79d56e1808f91572d99
1 __assert_fail
2 exit
3 __builtin_unreachable