On Fri, 18 Oct 2019, Markus Elfring wrote:
> >> The metavariable “x” can be restricted to a pointer expression.
> >> But does such specification ensure also that the function pointer is
> >> connected
> >> with a pointer return type?
> >
> > No.
>
> Thanks for another clarification.
>
> Will the distinction be improved for the safe usage of function pointers
> also together with the semantic patch language?
I don't see any reason why declaring x as expression *x; should imply
anything about the type of the value returned by a function pointer.
julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
