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



On Mon, 15 Jun 2026, Markus Elfring wrote:

> >> 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
> …
> >> 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.
>
> This is obvious as usual.
>
>
> >                          I have no idea whether the result is suspicious.
> I am trying to determine once more how plausible the mentioned data processing results are.

It would be better to look at them yourself.

julia

> How many development resources do we dare to invest then for more desirable software adjustments?
>
> Regards,
> Markus
>
--8323329-203713418-1781532425=:3490--