>> @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).

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to