Hello, I have tried another small script variant out for the semantic patch language (according to the software combination “Coccinelle 1.0.8-00131-g675b9670”).
@display@ type t1, t2; expression action; identifier resource, y; statement is, es; @@ t1* resource; <+... when any (t2 y = <+... ( sizeof(*(resource)) | * *(resource) ) ...+> | *action(..., resource, ...) ) ...+> elfring@Sonne:~/Projekte/Coccinelle/janitor> spatch --parse-cocci show_problematic_disjunction-20200626.cocci … minus: parse error: File "show_problematic_disjunction-20200626.cocci", line 14, column 0, charpos = 196 around = '|', whole content = | May I expect that such SmPL disjunctions should also work? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
