>>> I already asked above what you expected the ++ code to be attached to.
>>> All added code has to be attached to something.
>>
>> Can the connection to the desired source code position be achieved also
>> by the application of the SmPL ellipsis together with code exclusions?
>
> No.
Do you find that the following SmPL script variant can generate
usable patches according to the discussed source code transformation approach?
@find@
identifier V1;
position P;
statement S1, S2;
type T1;
@@
T1 V1;
... when any
when != S1
S2@P
@movement@
expression E;
identifier find.V1, V2;
position find.P;
statement S, find.S2;
type find.T1, T2;
@@
T1 V1;
... when any
-T2 V2 = \( <+... V1 ...+> \& E \)
+T2 V2
;
... when any
when != S
++ V2 = E;
S2@P
Would you like to achieve any related software improvements?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
