On Sat, 23 Mar 2019, Wen Yang wrote:
> Don't complain about a return when this function returns "&pdev->dev".
>
> Reported-by: Julia Lawall <[email protected]>
> Signed-off-by: Wen Yang <[email protected]>
> Cc: Julia Lawall <[email protected]>
> Cc: Gilles Muller <[email protected]>
> Cc: Nicolas Palix <[email protected]>
> Cc: Michal Marek <[email protected]>
> Cc: Masahiro Yamada <[email protected]>
> CC: [email protected]
> Cc: [email protected]
Acked-by: Julia Lawall <[email protected]>
> ---
> scripts/coccinelle/free/put_device.cocci | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/scripts/coccinelle/free/put_device.cocci
> b/scripts/coccinelle/free/put_device.cocci
> index 7395697..c9f071b 100644
> --- a/scripts/coccinelle/free/put_device.cocci
> +++ b/scripts/coccinelle/free/put_device.cocci
> @@ -32,6 +32,7 @@ if (id == NULL || ...) { ... return ...; }
> ( id
> | (T2)dev_get_drvdata(&id->dev)
> | (T3)platform_get_drvdata(id)
> +| &id->dev
> );
> | return@p2 ...;
> )
> --
> 2.9.5
>
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
