Hi Markus,
> > In a function, for a local variable obtained by of_find_device_by_node(), > > I got a software understanding where such a variable can not be obtained > from this function call. > The return value (like a pointer in this use case) can be stored there. > > > v6: > > - to be double sure, replace &id->dev with (T)(&id->dev). > > The support for data type casts is another interesting extension for > this source code analysis approach. > Further adjustments might become possible at other places of the presented > SmPL script > after specific clarifications of previously mentioned implementation details. First of all, thank you for your comments. But please also refer to the examples of coccinelle, such as: http://coccinelle.lip6.fr/rules/kmalloc.html and https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/scripts/coccinelle/free/pci_free_consistent.cocci You will find that there are differences between coccinelle and c. Regards, Wen _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
