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-1059486213-1781555878=:3918
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8BIT



On Mon, 15 Jun 2026, Markus Elfring wrote:

> > Is such a number suspicious together with the information “9620 files match”?
>
> I adjusted the implementation of the function “display_data” another bit
> so that a questionable condition can be checked and displayed directly.
>
> Markus_Elfring@Sonne:…/Projekte/Linux/next-analyses> time /usr/bin/spatch --timeout 23 -j4 --chunksize 1 --no-loops -dir . …/Projekte/Coccinelle/janitor/list_selected_duplicate_statements_in_if_branches4.cocci > …/Projekte/Bau/Linux/scripts/Coccinelle/list_selected_duplicate_statements_in_if_branches4-20260612.txt 2> …/Projekte/Bau/Linux/scripts/Coccinelle/list_selected_duplicate_statements_in_if_branches4-errors-20260612.txt
>
> real    10m21,520s
> user    36m21,220s
> sys     0m18,622s
>
>
> Markus_Elfring@Sonne:…/Projekte/Bau/Linux/scripts/Coccinelle> rg 'same position' list_selected_duplicate_statements_in_if_branches4-20260612.txt | wc -l
> 1682
>
>
> Goto chains are probably applied at several source code places.
>
>
>
> Markus_Elfring@Sonne:…/Projekte/Bau/Linux/scripts/Coccinelle> rg 'hit' list_selected_duplicate_statements_in_if_branches4-20260612.txt | wc -l
> 254
>
>
> Such a number looks more promising for possible update candidates,
> doesn't it?

I don't know what your semantic patch does, so I don't know whether the
result is useful or not.

julia
--8323329-1059486213-1781555878=:3918--