?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
buf_size: allow strncmp("foo", bar, 100) where 100 is larger than "foo"
[smatch.git] / smatch_data / no_return_funcs
blob56fa52bb2568a370d603c79d56e1808f91572d99
1 __assert_fail
2 exit
3 __builtin_unreachable
Static analysis for C