comparison: comparisons with 3 variables: "a > b + c"
[smatch.git] / smatch_data / db / 
tree3c16f366c25f0035dcd0c76b9760d6a292878d5e
drwxr-xr-x   ..
-rw-r--r-- 284 call_implies.schema
-rw-r--r-- 326 caller_info.schema
-rwxr-xr-x 508 create_db.sh
-rw-r--r-- 36 db.schema
-rwxr-xr-x 2266 fill_db_caller_info.pl
-rwxr-xr-x 715 fill_db_sql.pl
-rwxr-xr-x 186 fixup_all.sh
-rwxr-xr-x 3611 fixup_kernel.sh
-rw-r--r-- 147 function_ptr.schema
-rw-r--r-- 154 local_values.schema
-rw-r--r-- 348 return_states.schema
-rwxr-xr-x 5719 smdb.py
-rw-r--r-- 184 type_size.schema