Re: [cocci] Checking another deletion of redundant null pointer checks (with SmPL)?

[Julia Lawall <julia.lawall@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 1275 bytes --]



On Tue, 10 Jun 2025, Markus Elfring wrote:

> > Could yo uplease make a small effort to make your reports understandable?
>
> Why do the presented test commands trigger undesirable understanding difficulties?
>
>
> > 1) I don't ned to know the paths of your files?  This adds a lot of
> > clutter that makes it hard to find the important information.
>
> I find the mentioned test data relevant for further clarifications.
>
>
> > 2) The proper scientific method is to cange only one thing at a time.
>
> There are two data processing results to compare.
>
>
> > You seem tohave changed two things 1: in one case you give the specific file name
>
> Something looks reasonable.
>
>
> > andin the second case you use the whole Linux kernel directory,
>
> Yes.
>
> The mentioned log file contains the following information then:
> “…
> 7675 files match
> …”
>
> May I expect that a file name like “./drivers/infiniband/hw/cxgb4/device.c”
> should occur there?
>
>
> > and 2; in one case you are using linux-next from a specific date andin the
> > other case there is no information about what kernel version you are
> > using.
>
> The mentioned test cases refer to the same Linux development repository.

Did you check for the HANDLING comment as requested?

julia