> > You could have a separate rule for this case, but then there is still the
> > case where there are two nested ifs, etc.
>
> Right, hence why I'd really like coccinelle's control-flow handling to
> handle the case above.  I do want to match "return;" at the logical end
> of the function, in a control-flow sense, *without* taking into account
> that the "return;" itself is the logical end of the function in a
> control-flow sense, because I can't remove it unless the point it
> appears at would already be the logical end of the function.

I don't see a solution for this case...

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to