xref: /illumos-gate/usr/src/tools/smatch/src/smatch_data/db/kernel.return_fixes (revision 1f5207b7604fb44407eb4342aff613f7c4508508)
1i2c_master_recv s32min-s32max 1-s32max[<=$2]
2i2c_master_recv s32min-0,2-s32max 1-s32max[<=$2]
3hid_hw_output_report s32min-s32max 1-s32max[<=$2]
4_regmap_read s32min-(-1),1-s32max (-4095)-(-1)
5regmap_bulk_read s32min-(-1),1-s32max (-4095)-(-1)
6scnprintf s32min-s32max 0-s32max[<$1]
7scnprintf s32min-(-2),0-2147483646[<$1] 0-s32max[<$1]
8scnprintf s32min-(-2),0-2147483646 0-s32max[<$1]
9scnprintf s32min-s32max[<=$1] 0-s32max[<$1]
10scnprintf 0-s32max 0-s32max[<$1]
11vscnprintf s32min-(-2),0-s32max[<$1] 0-s32max[<$1]
12down_interruptible s32min-s32max (-62),(-4)
13__sock_create s32min-(-1),1-s32max (-4095)-(-1)
14sock_create_kern s32min-(-1),1-s32max (-4095)-(-1)
15nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-s32max (-4095)-(-18),(-16)-(-1)
16nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-(-3),(-1),1-s32max (-4095)-(-18),(-16)-(-3),(-1)
17nilfs_mdt_insert_new_block s32min-(-23),(-21)-(-1),1-s32max (-4095)-(-23),(-21)-(-1)
18simple_write_to_buffer s64min-s64max 0-s32max[<=$1]
19atomic_read s32min-s32max s32min-s32max[==$0->counter]
20notifier_to_errno (-2147483646)-(-1) (-4095)-(-1)
21mc_status_to_error s32min-s32max (-4095)-0
22dma_fence_wait_timeout s64min-s64max (-4095)-s64max
23dma_fence_wait_timeout s32min-s32max (-4095)-s32max
24fls s32min-s32max 0-32
25fls64 s64min-s64max 0-64
26__bitmap_weight s32min-s32max 0-s32max[<=$1]
27__bitmap_weight 0-s32max 0-s32max[<=$1]
28__ffs 0-u64max 0-63
29__ffs 0-u32max 0-31
30__spi_sync (-524),(-115),(-108),(-22) (-4095)-0
31tpm_tis_spi_read_bytes s32min-s32max (-4095)-0
32__irq_domain_activate_irq s32min-s32max (-4095)-0
33get_user_pages_fast s32min-s32max 1-s32max[<$1]
34__nci_request s32min-s32max (-4095)-0
35