[Cocci] Have coccinelle follow typedef ?

Julia Lawall julia.lawall at lip6.fr
Tue Mar 19 18:18:26 CET 2013

On Tue, 19 Mar 2013, Eric Leblond wrote:

> Hello,
> 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 ?


I thik the type inferencer should be aware of typedefs, if it sees the


More information about the Cocci mailing list