Print this page
12724 update smatch to 0.6.1-rc1-il-5
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/smatch_data/db/kernel.return_fixes
+++ new/usr/src/tools/smatch/src/smatch_data/db/kernel.return_fixes
1 1 i2c_master_recv s32min-s32max 1-s32max[<=$2]
2 2 i2c_master_recv s32min-0,2-s32max 1-s32max[<=$2]
3 3 hid_hw_output_report s32min-s32max 1-s32max[<=$2]
4 4 _regmap_read s32min-(-1),1-s32max (-4095)-(-1)
5 5 regmap_bulk_read s32min-(-1),1-s32max (-4095)-(-1)
6 6 scnprintf s32min-s32max 0-s32max[<$1]
7 7 scnprintf s32min-(-2),0-2147483646[<$1] 0-s32max[<$1]
8 8 scnprintf s32min-(-2),0-2147483646 0-s32max[<$1]
9 9 scnprintf s32min-s32max[<=$1] 0-s32max[<$1]
10 10 scnprintf 0-s32max 0-s32max[<$1]
11 11 vscnprintf s32min-(-2),0-s32max[<$1] 0-s32max[<$1]
12 12 down_interruptible s32min-s32max (-62),(-4)
|
↓ open down ↓ |
12 lines elided |
↑ open up ↑ |
13 13 __sock_create s32min-(-1),1-s32max (-4095)-(-1)
14 14 __sock_create s32min-(-90),(-88)-(-1),1-s32max (-4095)-(-90),(-88)-(-1)
15 15 sock_create_kern s32min-(-1),1-s32max (-4095)-(-1)
16 16 sock_create_kern s32min-(-90),(-88)-(-1),1-s32max (-4095)-(-90),(-88)-(-1)
17 17 nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-s32max (-4095)-(-18),(-16)-(-1)
18 18 nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-(-3),(-1),1-s32max (-4095)-(-18),(-16)-(-3),(-1)
19 19 nilfs_mdt_insert_new_block s32min-(-23),(-21)-(-1),1-s32max (-4095)-(-23),(-21)-(-1)
20 20 simple_write_to_buffer s64min-s64max 0-s32max[<=$1]
21 21 atomic_read s32min-s32max s32min-s32max[==$0->counter]
22 22 notifier_to_errno (-2147483646)-(-1) (-4095)-(-1)
23 +notifier_to_errno (-2147450878)-(-1) (-4095)-(-1)
23 24 mc_status_to_error s32min-s32max (-4095)-0
24 25 fls s32min-s32max 0-32
25 26 fls64 s64min-s64max 0-64
26 27 __bitmap_weight s32min-s32max 0-s32max[<=$1]
27 28 __bitmap_weight 0-s32max 0-s32max[<=$1]
28 29 __ffs 0-u64max 0-63
29 30 __ffs 0-u32max 0-31
30 31 find_last_bit 0-u64max 0-u32max[<=$1]
31 32 __spi_sync (-524),(-115),(-108),(-22) (-4095)-0
32 33 tpm_tis_spi_read_bytes s32min-s32max (-4095)-0
33 34 __irq_domain_activate_irq s32min-s32max (-4095)-0
34 35 get_user_pages_fast s32min-s32max 1-s32max[<=$1]
35 36 get_user_pages s32min-s32max (-4095)-s32max[<=$1]
36 37 get_user_pages s64min-s64max (-4095)-s64max[<=$1]
37 38 get_user_pages_remote 1-s64max 1-s64max[<=$3]
38 39 get_user_pages_remote (-133),(-14),(-12),1-s64max (-133),(-14),(-12),1-s64max[<=$3]
39 40 __nci_request s32min-s32max (-4095)-0
40 41 wait_for_common s64min-s64max 0-s64max[<=$1]
41 42 wait_for_common 64min-(-1),1-s64max 1-s64max[<=$1]
42 43 dma_fence_wait_timeout s64min-(-1),1-s64max (-4095)-(-1),1-s32max[<=2]
43 44 dma_fence_wait_timeout s64min-s64max (-4095)-s32max
44 45 dma_fence_wait_timeout s32min-s32max (-4095)-s32max
45 46 __fw_state_wait_common s32min-s32max (-4095)-(-1)
46 47 __ilog2_u32 s32min-s32max 0-31
47 48 __ilog2_u64 s32min-s32max 0-63
48 49 driver_attach s32min-s32max (-4095)-0
49 50 mbox_post_sync_cmd 255 0-255
|
↓ open down ↓ |
17 lines elided |
↑ open up ↑ |
50 51 mmc_io_rw_extended s32min-(-1),1-s32max (-4095)-(-1)
51 52 kernel_read s64min-s64max (-4095)-1000000000
52 53 security_kernel_post_read_file s32min-(-1),1-s32max (-4095)-(-1)
53 54 array_index_mask_nospec 0-u64max u64max
54 55 array_index_mask_nospec 0-u32max u32max
55 56 nla_len (-4)-65531[$0->nla_len\ -\ 4] 0-65531[$0->nla_len\ -\ 4]
56 57 __rounddown_pow_of_two 0-u64max 0-u64max[<=$0]
57 58 __roundup_pow_of_two 0-u64max 0-u64max[>=$0]
58 59 kthread_probe_data 0 0-u64max
59 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)
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX