coccinelle: ifnulldev_put: update error message
authorJulia Lawall <Julia.Lawall@inria.fr>
Sun, 30 Aug 2026 12:36:11 +0000 (14:36 +0200)
committerJulia Lawall <Julia.Lawall@inria.fr>
Sun, 30 Aug 2026 12:36:11 +0000 (14:36 +0200)
Update the report and org mode messages to reflect the new
function names.

Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
scripts/coccinelle/free/ifnulldev_put.cocci

index adb0825..1430d68 100644 (file)
@@ -45,11 +45,11 @@ position p;
 p << r.p;
 @@
 
-cocci.print_main("NULL check before dev_{put, hold} functions is not needed", p)
+cocci.print_main("NULL check before (net)dev_{put, hold} functions is not needed", p)
 
 @script:python depends on report@
 p << r.p;
 @@
 
-msg = "WARNING: NULL check before dev_{put, hold} functions is not needed."
+msg = "WARNING: NULL check before (net)dev_{put, hold} functions is not needed."
 coccilib.report.print_report(p[0], msg)