math: simplify implied_condition_true/false()
tree147314f45b57c8cd221fa3795209ac2b44a8eb95
-rw-r--r-- 409 .gitignore
drwxr-xr-x - Documentation
-rw-r--r-- 4607 FAQ
-rw-r--r-- 12681 LICENSE
-rw-r--r-- 6878 Makefile
-rw-r--r-- 3019 README
-rw-r--r-- 2610 README-smatch
-rw-r--r-- 3468 allocate.c
-rw-r--r-- 2269 allocate.h
-rw-r--r-- 6022 ast-inspect.c
-rw-r--r-- 330 ast-inspect.h
-rw-r--r-- 14688 ast-model.c
-rw-r--r-- 2212 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-- 6847 c2xml.c
-rwxr-xr-x 9024 cgcc
-rw-r--r-- 1062 cgcc.1
-rw-r--r-- 2550 check_access_ok_math.c
-rw-r--r-- 1915 check_allocation_funcs.c
-rw-r--r-- 957 check_assigned_expr.c
-rw-r--r-- 4238 check_balanced.c
-rw-r--r-- 3352 check_bit_shift.c
-rw-r--r-- 645 check_bogus_irqrestore.c
-rw-r--r-- 1770 check_bogus_loop.c
-rw-r--r-- 570 check_call_tree.c
-rw-r--r-- 2340 check_check_deref.c
-rw-r--r-- 1333 check_container_of.c
-rw-r--r-- 1597 check_db_info.c
-rw-r--r-- 4921 check_debug.c
-rw-r--r-- 700 check_debug.h
-rw-r--r-- 4672 check_deref.c
-rw-r--r-- 1346 check_deref_check.c
-rw-r--r-- 2704 check_dev_queue_xmit.c
-rw-r--r-- 1607 check_dma_on_stack.c
-rw-r--r-- 1393 check_err_ptr.c
-rw-r--r-- 4404 check_err_ptr_deref.c
-rw-r--r-- 1679 check_expects_err_ptr.c
-rw-r--r-- 525 check_format_string.c
-rw-r--r-- 1950 check_free.c
-rw-r--r-- 808 check_freeing_null.c
-rw-r--r-- 2726 check_frees_argument.c
-rw-r--r-- 4129 check_get_user_overflow.c
-rw-r--r-- 1039 check_gfp_dma.c
-rw-r--r-- 2889 check_held_dev.c
-rw-r--r-- 1958 check_info_leak.c
-rw-r--r-- 1348 check_input_free_device.c
-rw-r--r-- 1150 check_kernel.c
-rw-r--r-- 1216 check_kmalloc_to_bugon.c
-rw-r--r-- 2082 check_kmalloc_wrong_size.c
-rw-r--r-- 1792 check_kunmap.c
-rw-r--r-- 4899 check_leaks.c
-rw-r--r-- 2145 check_list.h
-rw-r--r-- 29002 check_locking.c
-rw-r--r-- 621 check_logical_instead_of_bitwise.c
-rw-r--r-- 3127 check_macro_side_effects.c
-rw-r--r-- 1543 check_macros.c
-rw-r--r-- 9422 check_memory.c
-rw-r--r-- 674 check_memset.c
-rw-r--r-- 890 check_min_t.c
-rw-r--r-- 648 check_mod_timer.c
-rw-r--r-- 832 check_no_effect.c
-rw-r--r-- 598 check_no_return.c
-rw-r--r-- 8837 check_overflow.c
-rw-r--r-- 1997 check_param_mapper.c
-rw-r--r-- 1554 check_platform_device_put.c
-rw-r--r-- 630 check_pointer_math.c
-rw-r--r-- 2071 check_precedence.c
-rw-r--r-- 1270 check_proc_create.c
-rw-r--r-- 1573 check_propagate.c
-rw-r--r-- 2646 check_puts_argument.c
-rw-r--r-- 2682 check_redundant_null_check.c
-rw-r--r-- 1859 check_release_resource.c
-rw-r--r-- 1819 check_resource_size.c
-rw-r--r-- 1106 check_return.c
-rw-r--r-- 2481 check_return_efault.c
-rw-r--r-- 2083 check_return_enomem.c
-rw-r--r-- 1205 check_return_negative_var.c
-rw-r--r-- 5509 check_rosenberg.c
-rw-r--r-- 503 check_select.c
-rw-r--r-- 6631 check_signed.c
-rw-r--r-- 1706 check_snprintf.c
-rw-r--r-- 1434 check_stack.c
-rw-r--r-- 2564 check_template.c
-rw-r--r-- 1152 check_type.c
-rw-r--r-- 4652 check_unused_ret.c
-rw-r--r-- 6140 check_unwind.c
-rw-r--r-- 5385 check_user_data.c
-rw-r--r-- 757 check_wait_for_common.c
-rw-r--r-- 1433 check_wine_WtoA.c
-rw-r--r-- 1847 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-- 55336 compile-i386.c
-rw-r--r-- 1424 compile.c
-rw-r--r-- 199 compile.h
-rw-r--r-- 9060 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-- 83753 evaluate.c
-rw-r--r-- 45133 example.c
-rw-r--r-- 28376 expand.c
-rw-r--r-- 24624 expression.c
-rw-r--r-- 5377 expression.h
-rw-r--r-- 23166 flow.c
-rw-r--r-- 1392 flow.h
-rw-r--r-- 5578 gdbhelpers
-rw-r--r-- 4795 graph.c
drwxr-xr-x - gvpr
-rw-r--r-- 3561 ident-list.h
-rw-r--r-- 14647 inline.c
-rw-r--r-- 26101 lib.c
-rw-r--r-- 6110 lib.h
-rw-r--r-- 56412 linearize.c
-rw-r--r-- 7065 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-- 75812 parse.c
-rw-r--r-- 1639 parse.dtd
-rw-r--r-- 3495 parse.h
-rw-r--r-- 44603 pre-process.c
-rw-r--r-- 4906 ptrlist.c
-rw-r--r-- 8771 ptrlist.h
-rw-r--r-- 2426 scope.c
-rw-r--r-- 998 scope.h
-rw-r--r-- 27079 show-parse.c
-rw-r--r-- 20421 simplify.c
-rw-r--r-- 5134 smatch.c
-rw-r--r-- 14951 smatch.h
-rw-r--r-- 11672 smatch_buf_size.c
-rw-r--r-- 3561 smatch_capped.c
-rw-r--r-- 15711 smatch_conditions.c
-rw-r--r-- 6091 smatch_constraints.c
drwxr-xr-x - smatch_data
-rw-r--r-- 10293 smatch_db.c
-rw-r--r-- 3699 smatch_estate.c
-rw-r--r-- 806 smatch_expression_stacks.c
-rw-r--r-- 276 smatch_expression_stacks.h
-rw-r--r-- 409 smatch_expressions.c
-rw-r--r-- 25095 smatch_extra.c
-rw-r--r-- 5173 smatch_extra.h
-rw-r--r-- 743 smatch_files.c
-rw-r--r-- 19618 smatch_flow.c
-rw-r--r-- 2375 smatch_function_hashtable.h
-rw-r--r-- 7657 smatch_function_hooks.c
-rw-r--r-- 9763 smatch_helper.c
-rw-r--r-- 6990 smatch_hooks.c
-rw-r--r-- 838 smatch_ignore.c
-rw-r--r-- 15647 smatch_implied.c
-rw-r--r-- 11424 smatch_math.c
-rw-r--r-- 4269 smatch_modification_hooks.c
-rw-r--r-- 3519 smatch_project.c
-rw-r--r-- 14313 smatch_ranges.c
drwxr-xr-x - smatch_scripts
-rw-r--r-- 17808 smatch_slist.c
-rw-r--r-- 3069 smatch_slist.h
-rw-r--r-- 17032 smatch_states.c
-rw-r--r-- 2091 smatch_tracker.c
-rw-r--r-- 4153 smatch_type.c
-rw-r--r-- 5698 sort.c
-rw-r--r-- 11142 sparse.1
-rw-r--r-- 6582 sparse.c
-rw-r--r-- 175 sparse.pc.in
-rw-r--r-- 7592 storage.c
-rw-r--r-- 1749 storage.h
-rw-r--r-- 23896 symbol.c
-rw-r--r-- 10435 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-- 5244 token.h
-rw-r--r-- 2739 token_store.c
-rw-r--r-- 20945 tokenize.c
-rw-r--r-- 3612 unssa.c
drwxr-xr-x - validation