Julia,
I am putting together a patch to find instances of a switch on a pointer
typed argument. The patch below seems to work unless the argument is a
function pointer in which case it doesn't match. How does one match a
function pointer.
Secondly is there a way to have it mark if x is any type other than int?
@r@
expression *x; type t; position p1;
@@
* switch ((t)x)
{
case ...:@p1
...
}
Mitchell
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
