From: Markus Elfring <Markus.Elfring@web.de>
To: Easwar Hariharan <eahariha@linux.microsoft.com>, cocci@inria.fr
Cc: kernel-janitors@vger.kernel.org,
LKML <linux-kernel@vger.kernel.org>,
linux-block@vger.kernel.org, linux-btrfs@vger.kernel.org,
linux-ide@vger.kernel.org, linux-nvme@lists.infradead.org,
linux-pm@vger.kernel.org, linux-rdma@vger.kernel.org,
linux-scsi@vger.kernel.org, linux-sound@vger.kernel.org,
linux-spi@vger.kernel.org, linux-xfs@vger.kernel.org,
ceph-devel@vger.kernel.org, platform-driver-x86@vger.kernel.org,
dri-devel@lists.freedesktop.org,
ibm-acpi-devel@lists.sourceforge.net, imx@lists.linux.dev,
kernel@pengutronix.de, linux-arm-kernel@lists.infradead.org,
"Andrew Morton" <akpm@linux-foundation.org>,
"Carlos Maiolino" <cem@kernel.org>, "Chris Mason" <clm@fb.com>,
"Christoph Hellwig" <hch@lst.de>,
"Damien Le Moal" <dlemoal@kernel.org>,
"Darrick J. Wong" <djwong@kernel.org>,
"David Sterba" <dsterba@suse.com>,
"Dick Kennedy" <dick.kennedy@broadcom.com>,
"Dongsheng Yang" <dongsheng.yang@easystack.cn>,
"Fabio Estevam" <festevam@gmail.com>,
"Frank Li" <Frank.Li@nxp.com>,
"Hans de Goede" <hdegoede@redhat.com>,
"Henrique de Moraes Holschuh" <hmh@hmh.eng.br>,
"James Bottomley" <James.Bottomley@HansenPartnership.com>,
"James Smart" <james.smart@broadcom.com>,
"Jaroslav Kysela" <perex@perex.cz>,
"Jason Gunthorpe" <jgg@ziepe.ca>, "Jens Axboe" <axboe@kernel.dk>,
"Josef Bacik" <josef@toxicpanda.com>,
"Julia Lawall" <Julia.Lawall@inria.fr>,
"Ilpo Järvinen" <ilpo.jarvinen@linux.intel.com>,
"Ilya Dryomov" <idryomov@gmail.com>,
"Kalesh Anakkur Purayil" <kalesh-anakkur.purayil@broadcom.com>,
"Keith Busch" <kbusch@kernel.org>,
"Leon Romanovsky" <leon@kernel.org>,
"Mark Brown" <broonie@kernel.org>,
"Martin K. Petersen" <martin.petersen@oracle.com>,
"Nicolas Palix" <nicolas.palix@imag.fr>,
"Niklas Cassel" <cassel@kernel.org>,
"Oded Gabbay" <ogabbay@kernel.org>,
"Ricardo Ribalda" <ribalda@google.com>,
"Sagi Grimberg" <sagi@grimberg.me>,
"Sascha Hauer" <s.hauer@pengutronix.de>,
"Sebastian Reichel" <sre@kernel.org>,
"Selvin Xavier" <selvin.xavier@broadcom.com>,
"Shawn Guo" <shawnguo@kernel.org>,
"Shyam Sundar S K" <Shyam-sundar.S-k@amd.com>,
"Takashi Iwai" <tiwai@suse.com>,
"Victor Gambier" <victor.gambier@inria.fr>,
"Xiubo Li" <xiubli@redhat.com>,
"Yaron Avizrat" <yaron.avizrat@intel.com>,
"Ricardo Ribalda" <ribalda@chromium.org>
Subject: Re: [01/16] coccinelle: misc: secs_to_jiffies: Patch expressions too
Date: Mon, 3 Feb 2025 08:22:12 +0100 [thread overview]
Message-ID: <875fe1a2-64b4-43f9-8b6c-60e416a37248@web.de> (raw)
In-Reply-To: <632be2db-78d2-4249-92f0-3f60e0373172@linux.microsoft.com>
> As it stands, I'll fix up the current rules in v2 following your
> suggestion to keep the multiplication in each line to allow Coccinelle
> to use the commutativity properties and find more instances.
Corresponding software development challenges can eventually be clarified further.
> I'll refrain from implementing the report mode until current instances
> have been fixed because of the issue we have already seen[1] with CI
> builds being broken. I would not want to break a strict CI build that is
> looking for coccicheck REPORT to return 0 results.
You got into the mood to test support for an information in the software documentation.
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/dev-tools/coccinelle.rst?h=v6.13#n92
“…
Note that not all semantic patches implement all modes.
…”
Regards,
Markus
next prev parent reply other threads:[~2025-02-03 7:23 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-01-28 18:21 [PATCH 00/16] Converge on using secs_to_jiffies() part two Easwar Hariharan
2025-01-28 18:21 ` [PATCH 01/16] coccinelle: misc: secs_to_jiffies: Patch expressions too Easwar Hariharan
2025-01-28 21:02 ` Markus Elfring
2025-01-29 5:05 ` Easwar Hariharan
2025-01-29 9:40 ` [01/16] " Markus Elfring
2025-01-30 11:01 ` [PATCH 01/16] " Markus Elfring
2025-02-01 0:11 ` Easwar Hariharan
2025-02-03 7:22 ` Markus Elfring [this message]
2025-01-28 18:21 ` [PATCH 02/16] scsi: lpfc: convert timeouts to secs_to_jiffies() Easwar Hariharan
2025-01-28 18:21 ` [PATCH 03/16] accel/habanalabs: " Easwar Hariharan
2025-01-28 18:21 ` [PATCH 04/16] ALSA: ac97: " Easwar Hariharan
2025-01-29 9:46 ` Takashi Iwai
2025-01-28 18:21 ` [PATCH 05/16] btrfs: " Easwar Hariharan
2025-01-28 19:28 ` David Sterba
2025-01-28 18:21 ` [PATCH 06/16] rbd: " Easwar Hariharan
2025-01-29 21:03 ` Easwar Hariharan
2025-02-03 21:19 ` Ilya Dryomov
2025-01-28 18:21 ` [PATCH 07/16] libceph: " Easwar Hariharan
2025-01-28 18:21 ` [PATCH 08/16] libata: zpodd: " Easwar Hariharan
2025-01-29 0:21 ` Damien Le Moal
2025-01-29 17:36 ` Easwar Hariharan
2025-01-28 18:21 ` [PATCH 09/16] xfs: " Easwar Hariharan
2025-01-28 19:32 ` Darrick J. Wong
2025-01-29 5:21 ` Christoph Hellwig
2025-01-29 17:12 ` Easwar Hariharan
2025-01-29 18:14 ` Easwar Hariharan
2025-01-29 6:27 ` Carlos Maiolino
2025-01-28 18:21 ` [PATCH 10/16] power: supply: da9030: " Easwar Hariharan
2025-01-28 18:21 ` [PATCH 11/16] nvme: " Easwar Hariharan
2025-01-28 18:28 ` Keith Busch
2025-01-28 18:21 ` [PATCH 12/16] spi: spi-fsl-lpspi: " Easwar Hariharan
2025-01-29 11:28 ` Mark Brown
2025-01-28 18:21 ` [PATCH 13/16] spi: spi-imx: " Easwar Hariharan
2025-01-29 11:30 ` Mark Brown
2025-01-28 18:21 ` [PATCH 14/16] platform/x86/amd/pmf: " Easwar Hariharan
2025-01-29 13:12 ` Ilpo Järvinen
2025-01-29 17:12 ` Easwar Hariharan
2025-01-28 18:22 ` [PATCH 15/16] platform/x86: thinkpad_acpi: " Easwar Hariharan
2025-01-28 18:22 ` [PATCH 16/16] RDMA/bnxt_re: " Easwar Hariharan
2025-01-29 0:16 ` [PATCH 00/16] Converge on using secs_to_jiffies() part two Andrew Morton
2025-02-13 17:45 ` Easwar Hariharan
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=875fe1a2-64b4-43f9-8b6c-60e416a37248@web.de \
--to=markus.elfring@web.de \
--cc=Frank.Li@nxp.com \
--cc=James.Bottomley@HansenPartnership.com \
--cc=Julia.Lawall@inria.fr \
--cc=Shyam-sundar.S-k@amd.com \
--cc=akpm@linux-foundation.org \
--cc=axboe@kernel.dk \
--cc=broonie@kernel.org \
--cc=cassel@kernel.org \
--cc=cem@kernel.org \
--cc=ceph-devel@vger.kernel.org \
--cc=clm@fb.com \
--cc=cocci@inria.fr \
--cc=dick.kennedy@broadcom.com \
--cc=djwong@kernel.org \
--cc=dlemoal@kernel.org \
--cc=dongsheng.yang@easystack.cn \
--cc=dri-devel@lists.freedesktop.org \
--cc=dsterba@suse.com \
--cc=eahariha@linux.microsoft.com \
--cc=festevam@gmail.com \
--cc=hch@lst.de \
--cc=hdegoede@redhat.com \
--cc=hmh@hmh.eng.br \
--cc=ibm-acpi-devel@lists.sourceforge.net \
--cc=idryomov@gmail.com \
--cc=ilpo.jarvinen@linux.intel.com \
--cc=imx@lists.linux.dev \
--cc=james.smart@broadcom.com \
--cc=jgg@ziepe.ca \
--cc=josef@toxicpanda.com \
--cc=kalesh-anakkur.purayil@broadcom.com \
--cc=kbusch@kernel.org \
--cc=kernel-janitors@vger.kernel.org \
--cc=kernel@pengutronix.de \
--cc=leon@kernel.org \
--cc=linux-arm-kernel@lists.infradead.org \
--cc=linux-block@vger.kernel.org \
--cc=linux-btrfs@vger.kernel.org \
--cc=linux-ide@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-nvme@lists.infradead.org \
--cc=linux-pm@vger.kernel.org \
--cc=linux-rdma@vger.kernel.org \
--cc=linux-scsi@vger.kernel.org \
--cc=linux-sound@vger.kernel.org \
--cc=linux-spi@vger.kernel.org \
--cc=linux-xfs@vger.kernel.org \
--cc=martin.petersen@oracle.com \
--cc=nicolas.palix@imag.fr \
--cc=ogabbay@kernel.org \
--cc=perex@perex.cz \
--cc=platform-driver-x86@vger.kernel.org \
--cc=ribalda@chromium.org \
--cc=ribalda@google.com \
--cc=s.hauer@pengutronix.de \
--cc=sagi@grimberg.me \
--cc=selvin.xavier@broadcom.com \
--cc=shawnguo@kernel.org \
--cc=sre@kernel.org \
--cc=tiwai@suse.com \
--cc=victor.gambier@inria.fr \
--cc=xiubli@redhat.com \
--cc=yaron.avizrat@intel.com \
/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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).