[Cocci] Have coccinelle follow typedef ?

Eric Leblond eric at regit.org
Tue Mar 19 17:16:17 CET 2013


I've got the following construction in a code:
 typedef struct Packet_ {
	struct Flow_ * flow;
 } Packet;
and in an other include file:
 typedef struct Flow_ {
 } Flow;

My problem here is that if p is a Packet then p->flow is a Flow at least
from a developer point of view. But coccinelle is not detecting the
match "Flow f" do not match on a "p->flow".

I've thought about adding a new isomorphism to solve this but I don't
like the idea...

How could I fix this issue ? 

Eric Leblond <eric at regit.org>
Blog: https://home.regit.org/

More information about the Cocci mailing list