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

  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-675991979-1781368901=:28904
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8BIT



On Sat, 13 Jun 2026, Markus Elfring wrote:

> > As usual, I have not idea what all your python code is supposed to do.
>
> I hope that a better common understanding can be achieved by another bit of clarification.
>
>
> > Is it something other than the following:
>
> I guess that the initial source code search pattern can be clear to some degree.
>
>
> …
> >> Questionable test results:
> >> Markus_Elfring@Sonne:…/Projekte/Linux/next-analyses> git checkout next-20260608 && time /usr/bin/spatch …/Projekte/Coccinelle/janitor/list_selected_duplicate_statements_in_if_branches.cocci sound/core/seq/seq_fifo.c…
>
> Can you benefit any more from a data representation like the following?

No.  I have no idea what output you expect, so I don't know what the
problem is.

Could you please make something that doesn't involve a database?

Or just explain what you expected as the output and how that relates to
the source code.

julia


>
>
> Markus_Elfring@Sonne:…/Projekte/Linux/next-analyses> time /usr/bin/spatch …/Projekte/Coccinelle/janitor/list_selected_duplicate_statements_in_if_branches2.cocci sound/core/seq/seq_fifo.c
> …
> Using SQLAlchemy version:
> 2.0.49
> …
> value1|value2|"function name"|"source file"|incidence
> f|NULL|snd_seq_fifo_new|sound/core/seq/seq_fifo.c|1
>
> real    0m0,799s
> user    0m0,664s
> sys     0m0,135s
>
>
> Regards,
> Markus
>
--8323329-675991979-1781368901=:28904--