On Wed, Jun 03, 2020 at 10:23:59AM +0200, Markus Elfring wrote:
> > I couldn't find a way to do that from the first rule, so I whitelisted
> > send_drop_notify() with a second rule (rule2 below). That seems rather
> > cumbersome and I'm wondering if there's maybe a simpler approach?
>
> Do you find the following source code search approach helpful for
> your software development needs?
No. It's the first approach I tried and it didn't match anything anymore;
I couldn't figure out why. It's the approach I was referring to by 'When I
tried using rule1 as the body of the function in rule2, it just didn't
match anything anymore'.
Paul
>
> @display@
> identifier fn != send_drop_notify;
> type t;
> @@
> t fn(...)
> {
> ... when any
> (ep_tail_call(...);
> ... when forall
> return DROP_MISSED_TAIL_CALL;
> |
> *ep_tail_call(...);
> )
> ... when any
> }
>
>
> Regards,
> Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
