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