db/kernel.return_fixes: add scnprintf()
[smatch.git] / smatch_data / db / kernel.return_fixes
blob6e979526dc24b580a72a85dbced9019f6ef2c022
1 i2c_master_recv s32min-s32max 1-s32max[<=$2]
2 hid_hw_output_report s32min-s32max 1-s32max[<=$2]
3 _regmap_read s32min-(-1),1-s32max (-4095)-(-1)
4 regmap_bulk_read s32min-(-1),1-s32max (-4095)-(-1)
5 scnprintf s32min-s32max 0-s32max[<$1]
6 scnprintf s32min-(-2),0-2147483646[<$1] 0-s32max[<$1]
7 scnprintf s32min-s32max[<=$1] 0-s32max[<$1]