?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
unreachable: ignore unreachable code after BUG()
[smatch.git] / smatch_data / kernel.unreachable.turn_off
blob3b1399e4938709d192867b8d41d549e066ef2c06
1 BUG
Static analysis for C