>> 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.
Function pointers have got also the property of a return type, don't they? I would like to restrict the kind of called functions at the mentioned place as precise as possible. By the way: Would we occasionally like to exclude the possibility for variable assignments with incompatible pointer types? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci