> Unfortunately, I do not get the transformation result which I would expect
> for this approach. But I have noticed also that a similar SmPL script
> can work as expected (if a function like “unpin_extent_cache” was not marked
> as “static”?).
The following SmPL script variant does also not work better at the moment.
@replacement@
constant C;
identifier action, rc;
type T;
@@
static
-T
+void
action(...)
{
-T rc = C;
<+... when != rc
when strict
-return rc;
...+>
}
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
