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 ?
BR,
--
Eric Leblond <[email protected]>
Blog: https://home.regit.org/
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci