From 58c19ea6761336444a02804edf5d466cb235c298 Mon Sep 17 00:00:00 2001 From: Harshit Mogalapalli Date: Wed, 20 Mar 2024 03:07:38 -0700 Subject: [PATCH] kernel_user_data: add ceph_decode_n() as returning user data After this patch: verified couple of instances where we have code like: foo = ceph_decode_8(bar) net/ceph/messenger_v2.c:521 decode_preamble() user rl: 'desc->fd_tag' = '0-255' Signed-off-by: Harshit Mogalapalli Signed-off-by: Dan Carpenter --- smatch_kernel_user_data.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/smatch_kernel_user_data.c b/smatch_kernel_user_data.c index 6ebf1ed1..34f9231e 100644 --- a/smatch_kernel_user_data.c +++ b/smatch_kernel_user_data.c @@ -49,6 +49,11 @@ static struct user_fn_info func_table[] = { { "simple_strtoul", USER_DATA, -1, "$" }, { "simple_strtoull", USER_DATA, -1, "$" }, { "kvm_register_read", USER_DATA, -1, "$" }, + { "ceph_decode_8", USER_DATA, -1, "$" }, + { "ceph_decode_16", USER_DATA, -1, "$" }, + { "ceph_decode_32", USER_DATA, -1, "$" }, + { "ceph_decode_64", USER_DATA, -1, "$" }, + }; static struct smatch_state *empty_state(struct sm_state *sm) -- 2.11.4.GIT