From: Alejandro Colomar <alx@kernel.org>
To: Julia Lawall <julia.lawall@inria.fr>
Cc: Markus Elfring <Markus.Elfring@web.de>,
cocci@inria.fr, Nicolas Palix <nicolas.palix@imag.fr>,
Kees Cook <kees@kernel.org>, LKML <linux-kernel@vger.kernel.org>,
kernel-janitors@vger.kernel.org
Subject: Re: [cocci] [PATCH v2] scripts/coccinelle: Add script for using ARRAY_END()
Date: Sun, 15 Mar 2026 23:05:13 +0100 [thread overview]
Message-ID: <abcsydFAe1S7KR8q@devuan> (raw)
In-Reply-To: <105cf750-4bab-2a39-e62e-debceca68466@inria.fr>
[-- Attachment #1: Type: text/plain, Size: 795 bytes --]
Hi Julia,
On 2026-03-15T18:54:32+0100, Julia Lawall wrote:
> > Here are more false negatives that I found manually. The semantic patch
> > didn't find them. Does anyone know how we could improve it or why it
> > didn't find them?
>
> Typically, some things are not found when Coccinelle is not able to parse
> the relevnt code. You can see this with the --verbose-parsing option.
> BUG indicates the line where the parsing problem was detected and bug
> indicates the other lines that were ignored due to the parse error.
Ahhh, thanks! It seems there were issues parsing unrelated code, so not
a problem of the semantic patch. I'll remove the comment about false
negatives and send v3.
> julia
Have a lovely night!
Alex
--
<https://www.alejandro-colomar.es>
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
WARNING: multiple messages have this Message-ID (diff)
From: Alejandro Colomar <alx@kernel.org>
To: Julia Lawall <julia.lawall@inria.fr>
Cc: Markus Elfring <Markus.Elfring@web.de>,
cocci@inria.fr, Nicolas Palix <nicolas.palix@imag.fr>,
Kees Cook <kees@kernel.org>, LKML <linux-kernel@vger.kernel.org>,
kernel-janitors@vger.kernel.org
Subject: Re: [PATCH v2] scripts/coccinelle: Add script for using ARRAY_END()
Date: Sun, 15 Mar 2026 23:05:13 +0100 [thread overview]
Message-ID: <abcsydFAe1S7KR8q@devuan> (raw)
In-Reply-To: <105cf750-4bab-2a39-e62e-debceca68466@inria.fr>
[-- Attachment #1: Type: text/plain, Size: 795 bytes --]
Hi Julia,
On 2026-03-15T18:54:32+0100, Julia Lawall wrote:
> > Here are more false negatives that I found manually. The semantic patch
> > didn't find them. Does anyone know how we could improve it or why it
> > didn't find them?
>
> Typically, some things are not found when Coccinelle is not able to parse
> the relevnt code. You can see this with the --verbose-parsing option.
> BUG indicates the line where the parsing problem was detected and bug
> indicates the other lines that were ignored due to the parse error.
Ahhh, thanks! It seems there were issues parsing unrelated code, so not
a problem of the semantic patch. I'll remove the comment about false
negatives and send v3.
> julia
Have a lovely night!
Alex
--
<https://www.alejandro-colomar.es>
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
next prev parent reply other threads:[~2026-03-16 9:29 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-03-05 23:20 [cocci] [PATCH v1 0/1] scripts/coccinelle: Add script for using ARRAY_END() Alejandro Colomar
2026-03-05 23:20 ` [cocci] [PATCH v1 1/1] " Alejandro Colomar
2026-03-09 11:17 ` [cocci] [PATCH] " Markus Elfring
2026-03-09 11:59 ` Julia Lawall
2026-03-09 12:16 ` Alejandro Colomar
2026-03-09 12:10 ` Alejandro Colomar
2026-03-09 12:21 ` Julia Lawall
2026-03-09 12:27 ` Alejandro Colomar
2026-03-09 12:13 ` [cocci] [PATCH v2] " Alejandro Colomar
2026-03-09 14:05 ` Markus Elfring
2026-03-09 14:05 ` Markus Elfring
2026-03-09 14:32 ` [cocci] " Alejandro Colomar
2026-03-09 14:32 ` Alejandro Colomar
2026-03-15 17:17 ` [cocci] " Alejandro Colomar
2026-03-15 17:17 ` Alejandro Colomar
2026-03-15 17:54 ` [cocci] " Julia Lawall
2026-03-15 17:54 ` Julia Lawall
2026-03-15 22:05 ` Alejandro Colomar [this message]
2026-03-15 22:05 ` Alejandro Colomar
2026-03-16 7:18 ` [cocci] [v2] " Markus Elfring
2026-03-16 7:18 ` Markus Elfring
2026-03-16 10:39 ` [cocci] " Alejandro Colomar
2026-03-16 10:39 ` Alejandro Colomar
2026-03-16 10:46 ` [cocci] " Markus Elfring
2026-03-16 10:46 ` Markus Elfring
2026-03-15 22:11 ` [cocci] [PATCH v3] " Alejandro Colomar
2026-03-15 22:12 ` Alejandro Colomar
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=abcsydFAe1S7KR8q@devuan \
--to=alx@kernel.org \
--cc=Markus.Elfring@web.de \
--cc=cocci@inria.fr \
--cc=julia.lawall@inria.fr \
--cc=kees@kernel.org \
--cc=kernel-janitors@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=nicolas.palix@imag.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.