> And what is the questionable source code place? I find implementation details occasionally questionable where checks for variables which provide a stored function return value are missing. The possibility remains that also your search pattern suggestion will point update candidates out at other places than the implementation of the mentioned function “imx_pd_bind”.
How do you think about the following SmPL script variant? @display@ expression x, y; identifier f, md; @@ *(x)->md = kmemdup(...); ... when != (x)->md (((x)->md)->f |f(..., <+... x ...+>, ...) |(y = x) ) Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci