smatch_data/db/kernel.return_fixes

   1 i2c_master_recv s32min-s32max 1-s32max[<=$2]
   2 i2c_master_recv s32min-0,2-s32max 1-s32max[<=$2]
   3 hid_hw_output_report s32min-s32max 1-s32max[<=$2]
   4 _regmap_read s32min-(-1),1-s32max (-4095)-(-1)
   5 regmap_bulk_read s32min-(-1),1-s32max (-4095)-(-1)
   6 scnprintf s32min-s32max 0-s32max[<$1]
   7 scnprintf s32min-(-2),0-2147483646[<$1] 0-s32max[<$1]
   8 scnprintf s32min-(-2),0-2147483646 0-s32max[<$1]
   9 scnprintf s32min-s32max[<=$1] 0-s32max[<$1]
  10 scnprintf 0-s32max 0-s32max[<$1]
  11 vscnprintf s32min-(-2),0-s32max[<$1] 0-s32max[<$1]
  12 down_interruptible s32min-s32max (-62),(-4)
  13 __sock_create s32min-(-1),1-s32max (-4095)-(-1)
  14 __sock_create s32min-(-90),(-88)-(-1),1-s32max (-4095)-(-90),(-88)-(-1)
  15 sock_create_kern s32min-(-1),1-s32max (-4095)-(-1)
  16 sock_create_kern s32min-(-90),(-88)-(-1),1-s32max (-4095)-(-90),(-88)-(-1)
  17 nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-s32max (-4095)-(-18),(-16)-(-1)
  18 nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-(-3),(-1),1-s32max (-4095)-(-18),(-16)-(-3),(-1)
  19 nilfs_mdt_insert_new_block s32min-(-23),(-21)-(-1),1-s32max (-4095)-(-23),(-21)-(-1)
  20 simple_write_to_buffer s64min-s64max 0-s32max[<=$1]
  21 atomic_read s32min-s32max s32min-s32max[==$0->counter]
  22 notifier_to_errno (-2147483646)-(-1) (-4095)-(-1)
  23 notifier_to_errno (-2147450878)-(-1) (-4095)-(-1)
  24 mc_status_to_error s32min-s32max (-4095)-0
  25 fls s32min-s32max 0-32
  26 fls64 s64min-s64max 0-64
  27 __bitmap_weight s32min-s32max 0-s32max[<=$1]
  28 __bitmap_weight 0-s32max 0-s32max[<=$1]
  29 __ffs 0-u64max 1-64
  30 __ffs 0-u32max 1-32
  31 find_last_bit 0-u64max 0-u32max[<=$1]
  32 __spi_sync (-524),(-115),(-108),(-22) (-4095)-0
  33 tpm_tis_spi_read_bytes s32min-s32max (-4095)-0
  34 __irq_domain_activate_irq s32min-s32max (-4095)-0
  35 get_user_pages_fast s32min-s32max 1-s32max[<=$1]
  36 get_user_pages s32min-s32max (-4095)-s32max[<=$1]
  37 get_user_pages s64min-s64max (-4095)-s64max[<=$1]
  38 get_user_pages_remote 1-s64max 1-s64max[<=$3]
  39 get_user_pages_remote (-133),(-14),(-12),1-s64max (-133),(-14),(-12),1-s64max[<=$3]
  40 __nci_request s32min-s32max (-4095)-0
  41 wait_for_common s64min-s64max 0-s64max[<=$1]
  42 wait_for_common 64min-(-1),1-s64max 1-s64max[<=$1]
  43 dma_fence_wait_timeout s64min-(-1),1-s64max (-4095)-(-1),1-s32max[<=$2]
  44 dma_fence_wait_timeout s64min-s64max (-4095)-s32max
  45 dma_fence_wait_timeout s32min-s32max (-4095)-s32max
  46 __fw_state_wait_common s32min-s32max (-4095)-(-1)
  47 __ilog2_u32 s32min-s32max 0-31
  48 __ilog2_u64 s32min-s32max 0-63
  49 driver_attach s32min-s32max (-4095)-0
  50 mbox_post_sync_cmd 255 0-255
  51 mmc_io_rw_extended s32min-(-1),1-s32max (-4095)-(-1)
  52 kernel_read s64min-s64max (-4095)-1000000000
  53 security_kernel_post_read_file s32min-(-1),1-s32max (-4095)-(-1)
  54 array_index_mask_nospec 0-u64max u64max
  55 array_index_mask_nospec 0-u32max u32max
  56 nla_len (-4)-65531[$0->nla_len\ -\ 4] 0-65531[$0->nla_len\ -\ 4]
  57 __rounddown_pow_of_two 0-u64max 0-u64max[<=$0]
  58 __roundup_pow_of_two 0-u64max 0-u64max[>=$0]
  59 kthread_probe_data 0 0-u64max
  60 bus_for_each_dev (-4095)-1 (-4095)-1[r\ $3]
  61 ahd_probe_stack_size 0 0-s32max
  62 mutex_lock_interruptible_nested (-35),(-4) (-4)
  63 dlfb_get_urb 0-u64max 4096-ptr_max
  64 bitmap_find_free_region 0 0-s32max
  65 mutex_lock_interruptible (-35),(-4) (-4)
  66 mutex_lock_interruptible_nested (-35),(-4) (-4)
  67 mutex_lock_killable (-35),(-4) (-4)
  68 mutex_lock_killable_nested (-35),(-4) (-4)
  69 ww_mutex_lock_interruptible (-35),(-4) (-4)
  70 ww_mutex_lock (-35),(-4) (-35)
  71 __devm_ioremap 1-u64max 4096-ptr_max
  72 ioremap 0-u64max 4096-ptr_max
  73 ioremap_uc 0-u64max 4096-ptr_max
  74 ioremap_wc 0-u64max 4096-ptr_max
  75 i2c_check_addr_busy 1 (-4095)-(-1)
  76 xa_err s32min-s32max[$0\ >>\ 2] (-4095)-(-1)[$0\ >>\ 2]
  77 mv88e6xxx_phy_ppu_disable s32min-(-1),1-s32max (-4095)-(-1)
  78 alloc_pages_exact_nid 1-u64max 4096-ptr_max
  79 vzalloc_node 1-18446744073709551614 4096-ptr_max
  80 vmalloc 1-18446744073709551614 4096-ptr_max
  81 __vmalloc_node 1-18446744073709551614 4096-ptr_max
  82 copy_to_user 0-s32max 0-s32max[<=$2]
  83 copy_from_user 0-s32max 0-s32max[<=$2]
  84 search_cred_keyrings_rcu 0-ptr_max 4096-ptr_max
  85 lowmem_page_address 0-u64max 4096-ptr_max
  86 alloc_pages 1-u64max 4096-ptr_max
  87 ffz 0-u64max 1-64
  88 dma_resv_wait_timeout s64min-(-1) -512
  89 dma_resv_wait_timeout s64min-(-1),1-s64max 1-s64max[<=$3]