git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] coccinelle: merge twelve rules from object_id.cocci

From
brian m. carlson <sandals@crustytoothpaste.net>
Date
Nov 16, 2019, 05:59 UTC
Message-ID
<20191116055929.GB6538@camp.crustytoothpaste.net>
In-Reply-To
<6c9962c0-67c1-e700-c145-793ce6498099@web.de>
On 2019-11-14 at 12:10:26, Markus Elfring wrote:
Show 7 quoted lines
> From: Markus Elfring <elfring@users.sourceforge.net>
> Date: Thu, 14 Nov 2019 12:48:27 +0100
> 
> This script contained transformation rules for the semantic patch language
> which used similar code.
> Combine these rules by using five SmPL disjunctions so that the run time
> characteristics can be nicer because of common usage of a few metavariables.

This seems like a nice improvement. It's probably quite obvious, but my skills with Coccinelle are rather limited, so I appreciate you cleaning this up.

-- 
brian m. carlson: Houston, Texas, US
OpenPGP: https://keybase.io/bk2204
Previous: Markus Elfring
Message 2 of 2 in “coccinelle: merge twelve rules from object_id.cocci”
  1. coccinelle: merge twelve rules from object_id.cocciMarkus Elfring, Nov 14, 2019
  2. brian m. carlsonNov 16, 2019

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.