dinfo: introduce extra_empty()
[smatch.git] / smatch_scripts / db / 
tree600a2e52f66a7c4eeccdc16eb25e2698b57902ba
drwxr-xr-x   ..
-rw-r--r-- 303 caller_info.schema
-rwxr-xr-x 315 create_db.sh
-rwxr-xr-x 3223 fill_db_caller_info.pl
-rwxr-xr-x 1151 fill_db_function_ptr.pl
-rwxr-xr-x 1087 fill_db_return_info.pl
-rw-r--r-- 148 function_ptr.schema
-rw-r--r-- 214 return_info.schema