unreachable code: work around gcc work arounds
[smatch.git] / smatch_data / 
tree1260dca37842163ef79c3341204315eef8cd8cfe
drwxr-xr-x   ..
-rw-r--r-- 12191 kernel.allocation_funcs
-rw-r--r-- 0 kernel.allocation_funcs.remove
-rw-r--r-- 42 kernel.array_bounds.remove
-rw-r--r-- 146 kernel.balanced_funcs
-rw-r--r-- 765 kernel.dev_queue_xmit
-rw-r--r-- 3752 kernel.dma_funcs
-rw-r--r-- 15873 kernel.frees_argument
-rw-r--r-- 70 kernel.frees_argument.remove
-rw-r--r-- 1944 kernel.puts_argument
-rw-r--r-- 16325 kernel.returns_err_ptr
-rw-r--r-- 395 kernel.returns_held_funcs