db: move call_implies to use raw SQL
tree354591790f5a3681be3c068c78517c5298607129
-rw-r--r-- 421 .gitignore
drwxr-xr-x - Documentation
-rw-r--r-- 4607 FAQ
-rw-r--r-- 12683 LICENSE
-rw-r--r-- 8172 Makefile
-rw-r--r-- 3020 README
-rw-r--r-- 2609 README-smatch
-rw-r--r-- 3468 allocate.c
-rw-r--r-- 2269 allocate.h
-rw-r--r-- 6924 ast-inspect.c
-rw-r--r-- 330 ast-inspect.h
-rw-r--r-- 14689 ast-model.c
-rw-r--r-- 2246 ast-model.h
-rw-r--r-- 1136 ast-view.c
-rw-r--r-- 95 ast-view.h
-rw-r--r-- 1436 bitmap.h
-rw-r--r-- 6820 c2xml.c
-rwxr-xr-x 9024 cgcc
-rw-r--r-- 1062 cgcc.1
-rw-r--r-- 2275 check_access_ok_math.c
-rw-r--r-- 1904 check_allocation_funcs.c
-rw-r--r-- 525 check_assign_vs_compare.c
-rw-r--r-- 1169 check_assigned_expr.c
-rw-r--r-- 4238 check_balanced.c
-rw-r--r-- 3453 check_bit_shift.c
-rw-r--r-- 642 check_bogus_irqrestore.c
-rw-r--r-- 1733 check_bogus_loop.c
-rw-r--r-- 553 check_call_tree.c
-rw-r--r-- 2450 check_check_deref.c
-rw-r--r-- 1259 check_container_of.c
-rw-r--r-- 1065 check_db_info.c
-rw-r--r-- 9058 check_debug.c
-rw-r--r-- 1322 check_debug.h
-rw-r--r-- 4794 check_deref.c
-rw-r--r-- 1348 check_deref_check.c
-rw-r--r-- 2419 check_dereferences_param.c
-rw-r--r-- 2704 check_dev_queue_xmit.c
-rw-r--r-- 1573 check_dma_on_stack.c
-rw-r--r-- 1399 check_err_ptr.c
-rw-r--r-- 4117 check_err_ptr_deref.c
-rw-r--r-- 1647 check_expects_err_ptr.c
-rw-r--r-- 522 check_format_string.c
-rw-r--r-- 1888 check_free.c
-rw-r--r-- 797 check_freeing_null.c
-rw-r--r-- 2719 check_frees_argument.c
-rw-r--r-- 4184 check_get_user_overflow.c
-rw-r--r-- 1054 check_gfp_dma.c
-rw-r--r-- 2906 check_held_dev.c
-rw-r--r-- 1934 check_info_leak.c
-rw-r--r-- 1348 check_input_free_device.c
-rw-r--r-- 3411 check_kernel.c
-rw-r--r-- 1199 check_kmalloc_to_bugon.c
-rw-r--r-- 2110 check_kmalloc_wrong_size.c
-rw-r--r-- 1775 check_kunmap.c
-rw-r--r-- 4837 check_leaks.c
-rw-r--r-- 2575 check_list.h
-rw-r--r-- 29044 check_locking.c
-rw-r--r-- 1163 check_logical_instead_of_bitwise.c
-rw-r--r-- 3102 check_macro_side_effects.c
-rw-r--r-- 1543 check_macros.c
-rw-r--r-- 9306 check_memory.c
-rw-r--r-- 680 check_memset.c
-rw-r--r-- 886 check_min_t.c
-rw-r--r-- 2897 check_missing_break.c
-rw-r--r-- 658 check_mod_timer.c
-rw-r--r-- 832 check_no_effect.c
-rw-r--r-- 598 check_no_return.c
-rw-r--r-- 4140 check_or_vs_and.c
-rw-r--r-- 10411 check_overflow.c
-rw-r--r-- 1950 check_param_mapper.c
-rw-r--r-- 2517 check_passes_sizeof.c
-rw-r--r-- 1554 check_platform_device_put.c
-rw-r--r-- 2320 check_pointer_math.c
-rw-r--r-- 2120 check_precedence.c
-rw-r--r-- 1259 check_proc_create.c
-rw-r--r-- 1577 check_propagate.c
-rw-r--r-- 2639 check_puts_argument.c
-rw-r--r-- 2648 check_redundant_null_check.c
-rw-r--r-- 1845 check_release_resource.c
-rw-r--r-- 1819 check_resource_size.c
-rw-r--r-- 1106 check_return.c
-rw-r--r-- 2138 check_return_efault.c
-rw-r--r-- 2098 check_return_enomem.c
-rw-r--r-- 897 check_return_negative_var.c
-rw-r--r-- 5476 check_rosenberg.c
-rw-r--r-- 503 check_select.c
-rw-r--r-- 7021 check_signed.c
-rw-r--r-- 2274 check_sizeof.c
-rw-r--r-- 1677 check_snprintf.c
-rw-r--r-- 1434 check_stack.c
-rw-r--r-- 4012 check_string_len.c
-rw-r--r-- 2544 check_template.c
-rw-r--r-- 1127 check_type.c
-rw-r--r-- 4632 check_unused_ret.c
-rw-r--r-- 6224 check_unwind.c
-rw-r--r-- 8221 check_user_data.c
-rw-r--r-- 732 check_wait_for_common.c
-rw-r--r-- 1416 check_wine_WtoA.c
-rw-r--r-- 1792 check_wine_filehandles.c
-rw-r--r-- 328 compat-bsd.c
-rw-r--r-- 733 compat-cygwin.c
-rw-r--r-- 119 compat-linux.c
-rw-r--r-- 588 compat-mingw.c
-rw-r--r-- 685 compat-solaris.c
-rw-r--r-- 713 compat.h
drwxr-xr-x - compat
-rw-r--r-- 55304 compile-i386.c
-rw-r--r-- 1424 compile.c
-rw-r--r-- 199 compile.h
-rw-r--r-- 9193 cse.c
-rw-r--r-- 4717 ctags.c
drwxr-xr-x - cwchash
-rw-r--r-- 13066 dissect.c
-rw-r--r-- 768 dissect.h
-rw-r--r-- 83746 evaluate.c
-rw-r--r-- 45133 example.c
-rw-r--r-- 29140 expand.c
-rw-r--r-- 24802 expression.c
-rw-r--r-- 5436 expression.h
-rw-r--r-- 23168 flow.c
-rw-r--r-- 1392 flow.h
-rw-r--r-- 5578 gdbhelpers
-rw-r--r-- 4750 graph.c
drwxr-xr-x - gvpr
-rw-r--r-- 3709 ident-list.h
-rw-r--r-- 14680 inline.c
-rw-r--r-- 26820 lib.c
-rw-r--r-- 6110 lib.h
-rw-r--r-- 56828 linearize.c
-rw-r--r-- 7117 linearize.h
-rw-r--r-- 8069 liveness.c
-rw-r--r-- 1144 macro_table.c
-rw-r--r-- 4691 memops.c
-rw-r--r-- 1208 obfuscate.c
-rw-r--r-- 76282 parse.c
-rw-r--r-- 1639 parse.dtd
-rw-r--r-- 3495 parse.h
-rw-r--r-- 44595 pre-process.c
-rw-r--r-- 4906 ptrlist.c
-rw-r--r-- 8681 ptrlist.h
-rw-r--r-- 2426 scope.c
-rw-r--r-- 998 scope.h
-rw-r--r-- 27050 show-parse.c
-rw-r--r-- 20587 simplify.c
-rw-r--r-- 5188 smatch.c
-rw-r--r-- 19578 smatch.h
-rw-r--r-- 16015 smatch_buf_size.c
-rw-r--r-- 3794 smatch_capped.c
-rw-r--r-- 6818 smatch_comparison.c
-rw-r--r-- 15740 smatch_conditions.c
drwxr-xr-x - smatch_data
-rw-r--r-- 21059 smatch_db.c
-rw-r--r-- 5824 smatch_equiv.c
-rw-r--r-- 6133 smatch_estate.c
-rw-r--r-- 806 smatch_expression_stacks.c
-rw-r--r-- 276 smatch_expression_stacks.h
-rw-r--r-- 1312 smatch_expressions.c
-rw-r--r-- 33421 smatch_extra.c
-rw-r--r-- 6538 smatch_extra.h
-rw-r--r-- 743 smatch_files.c
-rw-r--r-- 21554 smatch_flow.c
-rw-r--r-- 3317 smatch_function_hashtable.h
-rw-r--r-- 18583 smatch_function_hooks.c
-rw-r--r-- 10626 smatch_helper.c
-rw-r--r-- 7136 smatch_hooks.c
-rw-r--r-- 838 smatch_ignore.c
-rw-r--r-- 17458 smatch_implied.c
-rw-r--r-- 21169 smatch_math.c
-rw-r--r-- 3963 smatch_modification_hooks.c
-rw-r--r-- 4072 smatch_param_filter.c
-rw-r--r-- 3769 smatch_param_limit.c
-rw-r--r-- 2622 smatch_param_set.c
-rw-r--r-- 9621 smatch_parse_call_math.c
-rw-r--r-- 1668 smatch_project.c
-rw-r--r-- 18821 smatch_ranges.c
-rw-r--r-- 1283 smatch_returns.c
drwxr-xr-x - smatch_scripts
-rw-r--r-- 18337 smatch_slist.c
-rw-r--r-- 3214 smatch_slist.h
-rw-r--r-- 17724 smatch_states.c
-rw-r--r-- 10192 smatch_sval.c
-rw-r--r-- 1901 smatch_tracker.c
-rw-r--r-- 10101 smatch_type.c
-rw-r--r-- 5698 sort.c
-rw-r--r-- 28342 sparse-llvm.c
-rw-r--r-- 11777 sparse.1
-rw-r--r-- 6562 sparse.c
-rw-r--r-- 175 sparse.pc.in
-rwxr-xr-x 725 sparsec
-rw-r--r-- 7592 storage.c
-rw-r--r-- 1749 storage.h
-rw-r--r-- 23851 symbol.c
-rw-r--r-- 10606 symbol.h
-rw-r--r-- 741 target.c
-rw-r--r-- 993 target.h
-rw-r--r-- 2119 test-dissect.c
-rw-r--r-- 866 test-inspect.c
-rw-r--r-- 713 test-lexing.c
-rw-r--r-- 984 test-linearize.c
-rw-r--r-- 1435 test-parsing.c
-rw-r--r-- 852 test-sort.c
-rw-r--r-- 1633 test-unssa.c
-rw-r--r-- 5300 token.h
-rw-r--r-- 2837 token_store.c
-rw-r--r-- 21480 tokenize.c
-rw-r--r-- 3629 unssa.c
drwxr-xr-x - validation