Re: [PATCH] vduse: Fix a possible warning in vduse_create_dev()

From: Dan Carpenter
Date: Sun Nov 27 2022 - 23:14:10 EST


Btw, after you add the check to vduse_validate_config() you can test
that it silences the Smatch warning by doing:

kchecker --info drivers/vdpa/vdpa_user/vduse_dev.c | tee out
~/smatch/smatch_data/db/reload_partial.sh out
kchecker drivers/vdpa/vdpa_user/vduse_dev.c

You might need to do a second --info and reload for the changes to
propagate.

regards,
dan carpenter