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-729107264-1781531863=:3490
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8BIT



On Mon, 15 Jun 2026, Markus Elfring wrote:

> > Thank you for making a complete example.
>
> I tried it out also with the source files of the software “Linux next-20260612”.
>
> Markus_Elfring@Sonne:…/Projekte/Linux/next-analyses> time /usr/bin/spatch --timeout 45 -j4 --chunksize 1 --no-loops -dir . …/Projekte/Coccinelle/janitor/list_selected_duplicate_statements_in_if_branches3.cocci > …/Projekte/Bau/Linux/scripts/Coccinelle/list_selected_duplicate_statements_in_if_branches3-20260612.diff 2> …/Projekte/Bau/Linux/scripts/Coccinelle/list_selected_duplicate_statements_in_if_branches3-errors-20260612.txt
>
> real    10m28,171s
> user    38m40,689s
> sys     0m15,114s
> Markus_Elfring@Sonne:…/Projekte/Bau/Linux/scripts/Coccinelle> rg 'info|' list_selected_duplicate_statements_in_if_branches3-20260612.diff|wc -l
> 5808
>
>
> Is such a number suspicious together with the information “9620 files match”?

I think you mention kfree in your semantic patch, so the number of matched
files comes from there.  I have no idea whether the result is suspicious.

julia
--8323329-729107264-1781531863=:3490--