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