On Sun, 30 Aug 2020, Markus Elfring wrote:
> >> How do you think about to use the following transformation variant?
> >
> > This is uselessly expensive. It is already known that there is at least
> > one occurrence of x.
>
> Would we like to care if the affected identifier should be updated more than
> once
> in a selected function implementation?
Theer is no way to specify "more than once". We know it will be updated
at least once because we know that there is at least one occurrence.
julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
