db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / smatch_data / db / kernel.return_fixes
blob45ed0885460215f522a372b62e355065d2accd22
1 ad3552r_transfer s32min-(-1),1-s32max (-4095)-(-1)
2 adin1110_read_reg s32min-(-1),1-s32max (-4095)-(-1)
3 ahd_probe_stack_size 0 0-s32max
4 alloc_pages 1-u64max 4096-ptr_max
5 alloc_pages_exact_nid 1-u64max 4096-ptr_max
6 array_index_mask_nospec 0-u32max u32max
7 array_index_mask_nospec 0-u64max u64max
8 atomic_read s32min-s32max s32min-s32max[==$0->counter]
9 bitmap_find_free_region 0 0-s32max
10 __bitmap_weight 0-s32max 0-s32max[<=$1]
11 __bitmap_weight s32min-s32max 0-s32max[<=$1]
12 bus_for_each_dev (-4095)-1 (-4095)-1[r\ $3]
13 copy_from_user 0-s32max 0-s32max[<=$2]
14 copy_from_user 1-s32max 1-s32max[<=$2]
15 copy_to_user 0-s32max 0-s32max[<=$2]
16 debugfs_initialized 0 0-1
17 devm_drm_of_get_bridge 0,4096-ptr_max 4096-ptr_max
18 __devm_ioremap 1-u64max 4096-ptr_max
19 dlfb_get_urb 0-u64max 4096-ptr_max
20 dma_fence_wait_timeout s32min-s32max (-4095)-s32max
21 dma_fence_wait_timeout s64min-(-1),1-s64max (-4095)-(-1),1-s32max[<=$2]
22 dma_fence_wait_timeout s64min-s64max (-4095)-s32max
23 dma_resv_wait_timeout s64min-(-1),1-s64max 1-s64max[<=$3]
24 dma_resv_wait_timeout s64min-(-1) -512
25 down_interruptible s32min-s32max (-62),(-4)
26 driver_attach s32min-s32max (-4095)-0
27 __ffs 0-u32max 1-32
28 __ffs 0-u64max 1-64
29 ffz 0-u64max 1-64
30 find_last_bit 0-u64max 0-u32max[<=$1]
31 fls64 s64min-s64max 0-64
32 fls s32min-s32max 0-32
33 __fw_state_wait_common s32min-s32max (-4095)-(-1)
34 get_user_pages_fast s32min-s32max 1-s32max[<=$1]
35 get_user_pages_remote (-133),(-14),(-12),1-s64max (-133),(-14),(-12),1-s64max[<=$3]
36 get_user_pages_remote 1-s64max 1-s64max[<=$3]
37 get_user_pages s32min-s32max (-4095)-s32max[<=$1]
38 get_user_pages s64min-s64max (-4095)-s64max[<=$1]
39 hid_hw_output_report s32min-s32max 1-s32max[<=$2]
40 i2c_check_addr_busy 1 (-4095)-(-1)
41 i2c_master_recv s32min-0,2-s32max 1-s32max[<=$2]
42 i2c_master_recv s32min-s32max 1-s32max[<=$2]
43 __ilog2_u32 s32min-s32max 0-31
44 __ilog2_u64 s32min-s32max 0-63
45 ioremap 0-u64max 4096-ptr_max
46 ioremap_uc 0-u64max 4096-ptr_max
47 ioremap_wc 0-u64max 4096-ptr_max
48 iov_iter_count 0-u64max[$0->count] 0-1000000000[$0->count]
49 __irq_domain_activate_irq s32min-s32max (-4095)-0
50 kernel_read s64min-s64max (-4095)-1000000000
51 kthread_probe_data 0 0-u64max
52 lowmem_page_address 0-u64max 4096-ptr_max
53 mbox_post_sync_cmd 255 0-255
54 mc_status_to_error s32min-s32max (-4095)-0
55 mmc_io_rw_direct_host s32min-(-1),1-s32max (-4095)-(-1)
56 mmc_io_rw_extended s32min-(-1),1-s32max (-4095)-(-1)
57 mutex_lock_interruptible (-35),(-4) (-4)
58 mutex_lock_interruptible_nested (-35),(-4) (-4)
59 mutex_lock_interruptible_nested (-35),(-4) (-4)
60 mutex_lock_killable (-35),(-4) (-4)
61 mutex_lock_killable_nested (-35),(-4) (-4)
62 mv88e6xxx_phy_ppu_disable s32min-(-1),1-s32max (-4095)-(-1)
63 __nci_request s32min-s32max (-4095)-0
64 nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-(-3),(-1),1-s32max (-4095)-(-18),(-16)-(-3),(-1)
65 nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-s32max (-4095)-(-18),(-16)-(-1)
66 nilfs_mdt_insert_new_block s32min-(-23),(-21)-(-1),1-s32max (-4095)-(-23),(-21)-(-1)
67 nla_len (-4)-65531[$0->nla_len\ -\ 4] 0-65531[$0->nla_len\ -\ 4]
68 nla_nest_start_noflag 0-u64max 4096-ptr_max
69 notifier_to_errno (-2147450878)-(-1) (-4095)-(-1)
70 notifier_to_errno (-2147483646)-(-1) (-4095)-(-1)
71 notifier_to_errno (-32769)-(-1) (-4095)-(-1)
72 regmap_bulk_read s32min-(-1),1-s32max (-4095)-(-1)
73 _regmap_read s32min-(-1),1-s32max (-4095)-(-1)
74 __rounddown_pow_of_two 0-u64max 0-u64max[<=$0]
75 __roundup_pow_of_two 0-u64max 0-u64max[>=$0]
76 scnprintf 0-s32max 0-s32max[<$1]
77 scnprintf s32min-(-2),0-2147483646[<$1] 0-s32max[<$1]
78 scnprintf s32min-(-2),0-2147483646 0-s32max[<$1]
79 scnprintf s32min-s32max[<=$1] 0-s32max[<$1]
80 scnprintf s32min-s32max 0-s32max[<$1]
81 search_cred_keyrings_rcu 0-ptr_max 4096-ptr_max
82 security_kernel_post_read_file s32min-(-1),1-s32max (-4095)-(-1)
83 simple_write_to_buffer s64min-s64max 0-s32max[<=$1]
84 sock_create_kern s32min-(-1),1-s32max (-4095)-(-1)
85 sock_create_kern s32min-(-90),(-88)-(-1),1-s32max (-4095)-(-90),(-88)-(-1)
86 __sock_create s32min-(-1),1-s32max (-4095)-(-1)
87 __sock_create s32min-(-90),(-88)-(-1),1-s32max (-4095)-(-90),(-88)-(-1)
88 __spi_sync (-524),(-115),(-108),(-22) (-4095)-0
89 tpm_tis_spi_read_bytes s32min-s32max (-4095)-0
90 vmalloc 1-18446744073709551614 4096-ptr_max
91 __vmalloc_node 1-18446744073709551614 4096-ptr_max
92 vscnprintf s32min-(-2),0-s32max[<$1] 0-s32max[<$1]
93 vzalloc_node 1-18446744073709551614 4096-ptr_max
94 wait_for_common 64min-(-1),1-s64max 1-s64max[<=$1]
95 wait_for_common s64min-s64max 0-s64max[<=$1]
96 ww_mutex_lock (-35),(-4) (-35)
97 ww_mutex_lock_interruptible (-35),(-4) (-4)
98 xa_err s32min-s32max[$0\ >>\ 2] (-4095)-(-1)[$0\ >>\ 2]
99 class_raw_spinlock_irqsave_lock_ptr 0-u64max[$0->lock] 4096-ptr_max[$0->lock]
100 class_spinlock_irqsave_lock_ptr 0-u64max[$0->lock] 4096-ptr_max[$0->lock]
101 class_raw_spinlock_lock_ptr 0-u64max[$0->lock] 4096-ptr_max[$0->lock]
102 class_rcu_lock_ptr 0-u64max[$0->lock] 4096-ptr_max[$0->lock]
103 class_spinlock_lock_ptr 0-u64max[$0->lock] 4096-ptr_max[$0->lock]
104 class_device_lock_ptr 0-u64max[*$0] 4096-ptr_max[*$0]
105 class_raw_spinlock_irqsave_lock_ptr 0-u32max[$0->lock] 4096-ptr_max[$0->lock]
106 class_spinlock_irqsave_lock_ptr 0-u32max[$0->lock] 4096-ptr_max[$0->lock]
107 class_raw_spinlock_lock_ptr 0-u32max[$0->lock] 4096-ptr_max[$0->lock]
108 class_rcu_lock_ptr 0-u32max[$0->lock] 4096-ptr_max[$0->lock]
109 class_spinlock_lock_ptr 0-u32max[$0->lock] 4096-ptr_max[$0->lock]
110 class_device_lock_ptr 0-u32max[*$0] 4096-ptr_max[*$0]
111 class_cred_lock_ptr 0-u64max[$0->lock] 4096-ptr_max[$0->lock]
112 class_cred_lock_ptr 0-u32max[$0->lock] 4096-ptr_max[$0->lock]
113 class_spinlock_irq_lock_ptr 0-u64max[$0->lock] 4096-ptr_max[$0->lock]
114 class_spinlock_irq_lock_ptr 0-u32max[$0->lock] 4096-ptr_max[$0->lock]
115 class_pcm_stream_lock_irq_lock_ptr 0-u64max[$0->lock] 4096-ptr_max[$0->lock]
116 class_pcm_stream_lock_irq_lock_ptr 0-u32max[$0->lock] 4096-ptr_max[$0->lock]
117 class_write_lock_irq_lock_ptr 0-u64max[$0->lock] 4096-ptr_max[$0->lock]
118 class_write_lock_irq_lock_ptr 0-u32max[$0->lock] 4096-ptr_max[$0->lock]
119 platform_get_irq_byname 0-s32max 1-s32max
120 __kthread_create_on_node 0-u64max 4096-ptr_max
121 of_graph_get_endpoint_count 0-u32max 0-s32max
122 rxrpc_kernel_send_data 1-s32max 1-s32max[<=$3]
123 iov_iter_get_pages2 1-2147479551 1-2147479551[<=$2]
124 iov_iter_get_pages2 1-2147479552 1-2147479552[<=$2]
125 iov_iter_get_pages2 0-2147479552 0-2147479552[<=$2]
126 trace_get_user s32min-s32max 0-s32max[<=$2]
127 mipi_dsi_device_transfer s64min-s64max (-4095)-s32max
128 timer_delete 0 0-1
129 get_device 0-u64max 4096-ptr_max[$0]