?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
math: remove the get_implied_value_low_overhead() function
[smatch.git] / smatch_data / kernel.unreachable.turn_off
blobb9fce103bc12e56b897369371ae76367bc3e7bdc
1 BUG
2 panic
3 LBUG
4 ASSERT
Static analysis for C