Re: [PATCH] media: rockchip/rga: do proper error checking in probe

From: Dan Carpenter
Date: Thu Nov 25 2021 - 07:28:29 EST


On Sat, Nov 20, 2021 at 12:23:02PM +0000, Kyle Copperfield wrote:
> The latest fix for probe error handling contained a typo that causes
> probing to fail with the following message:
>
> rockchip-rga: probe of ff680000.rga failed with error -12
>
> This patch fixes the typo.
>
> Fixes: e58430e1d4fd (media: rockchip/rga: fix error handling in probe)
> Reviewed-by: Dragan Simic <dragan.simic@xxxxxxxxx>
> Signed-off-by: Kyle Copperfield <kmcopper@xxxxxxxxxxxxx>
> ---
> drivers/media/platform/rockchip/rga/rga.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/drivers/media/platform/rockchip/rga/rga.c b/drivers/media/platform/rockchip/rga/rga.c
> index 6759091b15e0..d99ea8973b67 100644
> --- a/drivers/media/platform/rockchip/rga/rga.c
> +++ b/drivers/media/platform/rockchip/rga/rga.c
> @@ -895,7 +895,7 @@ static int rga_probe(struct platform_device *pdev)
> }
> rga->dst_mmu_pages =
> (unsigned int *)__get_free_pages(GFP_KERNEL | __GFP_ZERO, 3);
> - if (rga->dst_mmu_pages) {
> + if (!rga->dst_mmu_pages) {
> ret = -ENOMEM;
> goto free_src_pages;
> }

There was supposed to be Smatch warning to catch this bug but Smatch was
not parsing __get_free_pages() correctly. I've fixed that so it
generates a warning now.

drivers/media/platform/rockchip/rga/rga.c:928 rga_probe() warn: 'rga->dst_mmu_pages' from __get_free_pages() not released on lines: 928.

Also I have introduced a new checker warning for code like:

foo = alloc();
if (foo)
ret = -ENOMEM;

drivers/media/platform/rockchip/rga/rga.c:896 rga_probe() warn: inverted NULL check

I will test that out tonight. I've also created a warning for if we
return success when a function returns NULL but I'm not really
optimistic that it will work. Still, you never know until you check so
I'll test that out as well.

drivers/media/platform/rockchip/rga/rga.c:912 rga_probe() warn: success when 'rga->dst_mmu_pages' is NULL'

regards,
dan carpenter