?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
flow, conditions: handle label statements correctly
[smatch.git] / smatch_data / no_return_funcs
blob56fa52bb2568a370d603c79d56e1808f91572d99
1 __assert_fail
2 exit
3 __builtin_unreachable
Static analysis for C