Messages in this thread | | | Date | Mon, 28 Nov 2022 07:13:40 +0300 | From | Dan Carpenter <> | Subject | Re: [PATCH] vduse: Fix a possible warning in vduse_create_dev() |
| |
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
| |