>> Would you like to add this information to the software documentation? > > Not really. The documentation can't defend against everyone's imagination.
Will it become helpful to mention the metavariable type “expression *” also in the SmPL manual? https://github.com/coccinelle/coccinelle/blob/cad4c0705f9e37f501531e133d3a47bc56ed0ce2/docs/manual/cocci_syntax.tex#L67 The following SmPL script variant can work as expected then. @display@ expression* ex; identifier zm =~ "_zmalloc"; statement is, es; @@ ex = zm(...); if (ex) is else es *memset(ex, 0, ...); elfring@Sonne:~/Projekte/Linux/next-patched> spatch ~/Projekte/Coccinelle/janitor/show_questionable_memset3.cocci drivers/staging/rtl8723bs/core/rtw_ap.c … Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci