On Wed, 10 Jun 2020, Markus Elfring wrote:
> >> @display@
> >> expression e;
> >> @@
> >> *brelse(e);
> >> <+... when != e = ...
> >> *e
> >> ...+>
> …
> >> elfring@Sonne:~/Projekte/Linux/next-patched> spatch
> >> ~/Projekte/Coccinelle/janitor/show_questionable_brelse_usage8.cocci
> >> fs/ext4/extents.c
> >> …
> >> @@ -1127,8 +1121,6 @@ static int ext4_ext_split(handle_t *hand
> …
> >> - brelse(bh);
> >> - bh = NULL;
> …
> >> Would you like to suggest any fine-tuning for the search approach?
> >
> > When describes what happens elsewhere than in the statement matched by the
> > pattern.
>
> I hoped that my specification of a SmPL code exclusion should prevent
> the presentation of assignments (independent from statements and/or
> expressions).
(
e = e1
|
*e
)
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
