f58c17c202
Extend a when constraint in a SmPL rule so that an additional cast is optionally excluded from source code searches for an expression in assignments. Signed-off-by: Markus Elfring <elfring@users.sourceforge.net> Suggested-by: Julia Lawall <Julia.Lawall@lip6.fr> Link: https://lore.kernel.org/lkml/alpine.DEB.2.21.1902160934400.3212@hadrien/ Link: https://systeme.lip6.fr/pipermail/cocci/2019-February/005592.html Acked-by: Julia Lawall <julia.lawall@lip6.fr> Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
57 lines
1.3 KiB
Plaintext
57 lines
1.3 KiB
Plaintext
// SPDX-License-Identifier: GPL-2.0
|
|
/// Find missing put_device for every of_find_device_by_node.
|
|
///
|
|
// Confidence: Moderate
|
|
// Copyright: (C) 2018-2019 Wen Yang, ZTE.
|
|
// Comments:
|
|
// Options: --no-includes --include-headers
|
|
|
|
virtual report
|
|
virtual org
|
|
|
|
@search exists@
|
|
local idexpression id;
|
|
expression x,e,e1;
|
|
position p1,p2;
|
|
type T,T1,T2,T3;
|
|
@@
|
|
|
|
id = of_find_device_by_node@p1(x)
|
|
... when != e = id
|
|
if (id == NULL || ...) { ... return ...; }
|
|
... when != put_device(&id->dev)
|
|
when != platform_device_put(id)
|
|
when != of_dev_put(id)
|
|
when != if (id) { ... put_device(&id->dev) ... }
|
|
when != e1 = (T)id
|
|
when != e1 = (T)(&id->dev)
|
|
when != e1 = get_device(&id->dev)
|
|
when != e1 = (T1)platform_get_drvdata(id)
|
|
(
|
|
return
|
|
( id
|
|
| (T2)dev_get_drvdata(&id->dev)
|
|
| (T3)platform_get_drvdata(id)
|
|
| &id->dev
|
|
);
|
|
| return@p2 ...;
|
|
)
|
|
|
|
@script:python depends on report@
|
|
p1 << search.p1;
|
|
p2 << search.p2;
|
|
@@
|
|
|
|
coccilib.report.print_report(p2[0],
|
|
"ERROR: missing put_device; call of_find_device_by_node on line "
|
|
+ p1[0].line
|
|
+ ", but without a corresponding object release within this function.")
|
|
|
|
@script:python depends on org@
|
|
p1 << search.p1;
|
|
p2 << search.p2;
|
|
@@
|
|
|
|
cocci.print_main("of_find_device_by_node", p1)
|
|
cocci.print_secs("needed put_device", p2)
|