cleanup: debug_implied_states => option_debug_implied
[smatch.git] / smatch_data / 
treeba435484d376589d43fb2d4f8b44c25d1d87e7b3
drwxr-xr-x   ..
-rw-r--r-- 12191 kernel.allocation_funcs
-rw-r--r-- 0 kernel.allocation_funcs.remove
-rw-r--r-- 146 kernel.balanced_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