handle stuff like the kernel's WARN_ON() macro
[smatch.git] / smatch_data / 
treee5d47a6d3e58d1526097d0d51a737895b69eca50
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-- 356 kernel.no_return_funcs
-rw-r--r-- 1944 kernel.puts_argument
-rw-r--r-- 16325 kernel.returns_err_ptr
-rw-r--r-- 395 kernel.returns_held_funcs
-rw-r--r-- 5 no_return_funcs.remove