>> @deletion@ >> expression input, storage, target; >> @@ >> storage >> - = input >> ... when != storage >> target = ... >> >> >> elfring@Sonne:~/Projekte/Coccinelle/janitor> spatch --parse-cocci >> delete_unused_value4.cocci >> … >> the simple assignment expression on line 4 contains transformations >> that prevent it from matching a declaration (not pure) >> … >> >> >> How do you think about the software situation? > > I think what the message says. You have put a - in an awkward place so it > may not be able to apply some isomorphisms.
I got the impression that the Coccinelle software can handle changes together with isomorphisms at other source code places already. * Why is this functionality restricted here? * The reported software limitation can trigger undesirable code duplication if a corresponding transformation approach would be required so far to express extra case distinctions by the means of SmPL disjunctions. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
