states: add another read_only check
[smatch.git] / smatch_data / 
tree5c55a42ef826111a0e4da6b2974db97c193d9cc0
drwxr-xr-x   ..
drwxr-xr-x - db
-rw-r--r-- 23756 kernel.allocation_funcs
-rw-r--r-- 0 kernel.allocation_funcs.remove
-rw-r--r-- 14825 kernel.allocation_funcs_gfp
-rw-r--r-- 146 kernel.balanced_funcs
-rw-r--r-- 103092 kernel.bit_shifters
-rw-r--r-- 230 kernel.bit_shifters.remove
-rw-r--r-- 140 kernel.clears_argument
-rw-r--r-- 972 kernel.common_functions
-rw-r--r-- 765 kernel.dev_queue_xmit
-rw-r--r-- 809 kernel.dma_funcs
-rw-r--r-- 1308 kernel.expects_err_ptr
-rw-r--r-- 10619 kernel.frees_argument
-rw-r--r-- 82 kernel.frees_argument.remove
-rw-r--r-- 4851 kernel.gfp_flags
-rw-r--r-- 851 kernel.ignore_side_effects
-rw-r--r-- 292 kernel.ignored_macros
-rw-r--r-- 3604 kernel.ioctls
-rw-r--r-- 73 kernel.macro_takes_sizeof_argument
-rw-r--r-- 47 kernel.must_check_funcs
-rw-r--r-- 97 kernel.no_inline_functions
-rw-r--r-- 1858 kernel.no_return_funcs
-rw-r--r-- 560 kernel.parameter_implications.add
-rw-r--r-- 269 kernel.puts_argument
-rw-r--r-- 29413 kernel.returns_err_ptr
-rw-r--r-- 45 kernel.returns_err_ptr.remove
-rw-r--r-- 430 kernel.returns_held_funcs
-rw-r--r-- 250 kernel.silenced_functions
-rw-r--r-- 9928 kernel.sizeof_param
-rw-r--r-- 99 kernel.sizeof_param.remove
-rw-r--r-- 126 kernel.unconstant_macros
-rw-r--r-- 10205 kernel.unwind_functions
-rw-r--r-- 41 no_return_funcs
-rw-r--r-- 82 no_return_funcs.remove
-rw-r--r-- 230 wine.no_return_funcs