Re: [cocci] Searching for duplicate exception handling code with SmPL?

Julia Lawall <[email protected]> Sun, 14 Jun 2026 12:44:03 +0200 (CEST)
Newsgroups fr.inria.cocci
Message-ID <[email protected]>
  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--8323329-249745368-1781433843=:28904
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8BIT



On Sun, 14 Jun 2026, Markus Elfring wrote:

> …
> > @script:ocaml@
> > p1 << searching.p1;
> > p2 << searching.p2;
> > @@
> >
> > Printf.eprintf "duplicate on lines %d and %d\n" (List.hd p1).line (List.hd p2).line
> >
> > This does print a report on your test data.
>
> A)
> It is obvious that the implementation of the function “snd_seq_fifo_new” does not apply
> a goto chain so far.
> https://elixir.bootlin.com/linux/v7.1-rc7/source/sound/core/seq/seq_fifo.c#L17-L47
>
> B)
> How would the test output look like on your development system for another mentioned example
> with the function “smb3_reconfigure”?
> https://elixir.bootlin.com/linux/v7.1-rc7/source/fs/smb/client/fs_context.c#L1060-L1241
>
>
> Will further ideas appear also according to such a clarification approach?

I haven't tried your example, but it is likely that you just want exists
on your SmPL rule, ie

@searching exists@

julia


>
> Regards,
> Markus
>
--8323329-249745368-1781433843=:28904--