Hello,

I have taken another look at the following information.
https://github.com/coccinelle/coccinelle/blob/6b4bb692f208bfe86e62a616724570d9310c7150/standard.iso#L544

…
// Affectation/initialisation isomorphism
…
// They are handled in engine.
// 'X = Y'  should also match  'type X = Y';
…


I have tried another script out for the semantic patch language.

@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?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to