>>> +* to = \(kvmalloc@p\|kvzalloc@p\)(size,\(GFP_KERNEL\|GFP_USER\)); >>> + if (to==NULL || ...) S1 >>> + if (copy_from_user(to, from, size) != 0) >>> + S2 >> >> How does the SmPL asterisk functionality fit to the operation >> modes “org” and “report”? > > Make coccicheck uses --no-show-diff for org and report modes, so the * has > no effect in those cases.
* Can it be nicer to generate only required data for each operation mode? * Would you like to compare the usage of this command parameter with other design approaches? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
