> Function pointers certainly have a return type,

This is fine as usual.


> but the return type could be int.

This can also happen.

But I would like to specify the restriction for a known pointer variant
at this place.

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

Reply via email to