?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
unreachable: silence "not actually initialized" false positives
[smatch.git] / smatch_data / kernel.unreachable.turn_off
blob247d11720a46231b7d9cdd6a73dbb979757997a5
1 BUG
2 panic
3 LBUG
Static analysis for C