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--