> + when != e4 = (T1)platform_get_drvdata(id) > +( > +return id; > +| > +return (T2)dev_get_drvdata(&id->dev); > +| > +return (T3)platform_get_drvdata(id); > +| > +return at p2 ...; > +)
How do you think about to adjust this SmPL disjunction a bit like the following? + when != e4 = (T1)platform_get_drvdata(id) +( + return +( id +| (T2)dev_get_drvdata(&id->dev) +| (T3)platform_get_drvdata(id) +) +|return@p2 ... +); >> +coccilib.report.print_report(p2[0],msg) Would you like to consider the message construction without using the extra Python variable “msg”? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci