[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 ?

--all-includes?

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

julia


More information about the Cocci mailing list