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 down_interruptible s32min-s32max (-62),(-4)
  11 __sock_create s32min-(-1),1-s32max (-4095)-(-1)
  12 sock_create_kern s32min-(-1),1-s32max (-4095)-(-1)
  13 nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-s32max (-4095)-(-18),(-16)-(-1)
  14 nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-(-3),(-1),1-s32max (-4095)-(-18),(-16)-(-3),(-1)
  15 nilfs_mdt_insert_new_block s32min-(-23),(-21)-(-1),1-s32max (-4095)-(-23),(-21)-(-1)
  16 simple_write_to_buffer s64min-s64max 0-s32max[<=$1]
  17 atomic_read s32min-s32max s32min-s32max[==$0->counter]
  18 notifier_to_errno (-2147483646)-(-1) (-4095)-(-1)
  19 mc_status_to_error s32min-s32max (-4095)-0