checks: get rid of some delete_state() calls
[smatch.git] / smatch_scripts / db / 
tree546f3b51f157b1f987776d69d0128da56fe38e01
drwxr-xr-x   ..
-rw-r--r-- 268 call_implies.schema
-rw-r--r-- 319 caller_info.schema
-rwxr-xr-x 476 create_db.sh
-rwxr-xr-x 1219 fill_db_call_implies.pl
-rwxr-xr-x 4315 fill_db_caller_info.pl
-rwxr-xr-x 1179 fill_db_function_ptr.pl
-rwxr-xr-x 5473 fill_db_return_implies.pl
-rwxr-xr-x 1839 fill_db_return_info.pl
-rwxr-xr-x 1190 fill_db_type_size.pl
-rwxr-xr-x 372 fixup_kernel.sh
-rw-r--r-- 148 function_ptr.schema
-rw-r--r-- 318 return_implies.schema
-rw-r--r-- 244 return_info.schema
-rwxr-xr-x 555 smdb_function_info.sh
-rwxr-xr-x 977 smdb_param_buf_size.sh
-rwxr-xr-x 977 smdb_param_values.sh
-rwxr-xr-x 204 smdb_return_info.sh
-rw-r--r-- 107 type_size.schema