user_data2: silence some false positives handling ntohl(foo[x])
[smatch.git] / smatch_data / no_return_funcs
blob56fa52bb2568a370d603c79d56e1808f91572d99
1 __assert_fail
2 exit
3 __builtin_unreachable