From 7832066fa710bbd9b9de0752f19d23cb03d94087 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 26 Feb 2019 12:19:31 +0300 Subject: [PATCH] smatch_data/kernel: add some more ignored stuff Signed-off-by: Dan Carpenter --- smatch_data/kernel.allocation_funcs_gfp.remove | 1 + smatch_data/kernel.ignore_casted_params | 15 +++++++++++++++ smatch_data/kernel.ignore_side_effects | 4 ++++ smatch_data/kernel.ignore_uninitialized_param | 7 +++++++ smatch_data/kernel.no_inline_functions | 2 ++ smatch_data/kernel.silenced_functions | 1 - 6 files changed, 29 insertions(+), 1 deletion(-) create mode 100644 smatch_data/kernel.ignore_casted_params diff --git a/smatch_data/kernel.allocation_funcs_gfp.remove b/smatch_data/kernel.allocation_funcs_gfp.remove index 78c093f6..4e996313 100644 --- a/smatch_data/kernel.allocation_funcs_gfp.remove +++ b/smatch_data/kernel.allocation_funcs_gfp.remove @@ -1,2 +1,3 @@ +acquire_group acquire_group 2 acquire_group X diff --git a/smatch_data/kernel.ignore_casted_params b/smatch_data/kernel.ignore_casted_params new file mode 100644 index 00000000..4981799f --- /dev/null +++ b/smatch_data/kernel.ignore_casted_params @@ -0,0 +1,15 @@ +set_bit +clear_bit +__clear_bit +__set_bit +test_and_set_bit +find_last_bit +change_bit +xfs_next_bit +find_next_bit +find_first_bit +__test_and_set_bit +sync_set_bit +bitmap_weight +bitmap_intersects +bitmap_empty diff --git a/smatch_data/kernel.ignore_side_effects b/smatch_data/kernel.ignore_side_effects index e94fa1e6..b4237017 100644 --- a/smatch_data/kernel.ignore_side_effects +++ b/smatch_data/kernel.ignore_side_effects @@ -53,12 +53,16 @@ RADEON_WAIT_UNTIL_IDLE RCU_INIT_POINTER READ64 rtnl_dereference +SK_REUSEPORT_LOAD_SKB_FIELD +SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF send_bits send_code SOCK_ADDR_LOAD_NESTED_FIELD SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD +SOCK_OPS_GET_FIELD +SOCK_OPS_GET_OR_SET_FIELD SOCK_OPS_GET_TCP32 unsafe_get_user unsafe_put_user diff --git a/smatch_data/kernel.ignore_uninitialized_param b/smatch_data/kernel.ignore_uninitialized_param index f76216cf..16825e75 100644 --- a/smatch_data/kernel.ignore_uninitialized_param +++ b/smatch_data/kernel.ignore_uninitialized_param @@ -102,3 +102,10 @@ read_current_timer 0 pwrap_read 2 dibusb_read_eeprom_byte 2 of_fdt_unflatten_tree 2 +pci_user_read_config_byte 2 +gen11_gu_misc_irq_ack 2 +vsc73xx_read 4 +smb_hc_read 2 +smb_word_op 5 +atl1c_read_phy_reg 2 +adf7242_read_reg 2 diff --git a/smatch_data/kernel.no_inline_functions b/smatch_data/kernel.no_inline_functions index 149bc0de..388824e1 100644 --- a/smatch_data/kernel.no_inline_functions +++ b/smatch_data/kernel.no_inline_functions @@ -10,3 +10,5 @@ __arch_hweight32 __arch_hweight64 __write_once_size atomic_set +atomic_read +notifier_to_errno diff --git a/smatch_data/kernel.silenced_functions b/smatch_data/kernel.silenced_functions index e23ef263..6ff3b95a 100644 --- a/smatch_data/kernel.silenced_functions +++ b/smatch_data/kernel.silenced_functions @@ -4,7 +4,6 @@ atomic_inc_and_test atomic64_dec_and_test atomic_sub_and_test test_and_clear_bit -test_and_set_bit __copy_to_user_nocheck __copy_from_user_nocheck arch_static_branch -- 2.11.4.GIT