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

Re: coccinelle: adjustments for array.cocci?

From
René Scharfe <l.s.r@web.de>
Date
Nov 17, 2019, 13:40 UTC
Message-ID
<f28f5fb8-2814-9df5-faf2-7146ed1a1f4d@web.de>
In-Reply-To
<50b265f0-bcab-d0ec-a714-07e94ceaa508@web.de>
Am 17.11.19 um 09:19 schrieb Markus Elfring:
Show 5 quoted lines
>> Which transformation rules are questionable and why?
>
> It was chosen to transform source code fragments (pointer expressions)
> by two SmPL rules so that the search pattern “sizeof(T)” would work
> in the third rule.

Ah, right, it would be nice to get rid of those normalization rules, especially the second one. I don't see how, though, without either causing a combinatorial explosion or loosening up the matching too much.

>> Matching sizeof of anything (with the x) can produce inaccurate
>> transformations, as mentioned in the other reply I just sent.
>
> Would you like to apply any further SmPL code fine-tuning?

I guess that's a question for Junio, and his reply in https://public-inbox.org/git/xmqqa790cyp1.fsf@gitster-ct.c.googlers.com/ seems relevant.

René
Previous: Markus ElfringNext: Markus Elfring
Message 29 of 41 in “coccinelle: adjustments for array.cocci?”
  1. Markus ElfringNov 12, 2019
  2. René ScharfeNov 12, 2019
  3. Junio C HamanoNov 13, 2019
  4. Markus ElfringNov 13, 2019
  5. Junio C HamanoNov 14, 2019
  6. Markus ElfringNov 14, 2019
  7. René ScharfeNov 14, 2019
  8. Markus ElfringNov 14, 2019
  9. René ScharfeNov 14, 2019
  10. Markus ElfringNov 15, 2019
  11. Markus ElfringNov 15, 2019
  12. Markus ElfringNov 15, 2019
  13. Julia LawallNov 16, 2019
  14. Markus ElfringNov 16, 2019
  15. Markus ElfringNov 16, 2019
  16. Julia LawallNov 16, 2019
  17. Markus ElfringNov 16, 2019
  18. Markus ElfringNov 15, 2019
  19. René ScharfeNov 16, 2019
  20. Markus ElfringNov 17, 2019
  21. René ScharfeNov 17, 2019
  22. Markus ElfringNov 17, 2019
  23. René ScharfeNov 19, 2019
  24. Markus ElfringNov 19, 2019
  25. René ScharfeNov 21, 2019
  26. Markus ElfringNov 16, 2019
  27. René ScharfeNov 16, 2019
  28. Markus ElfringNov 17, 2019
  29. René ScharfeNov 17, 2019
  30. Markus ElfringNov 17, 2019
  31. René ScharfeNov 19, 2019
  32. coccinelle: improve array.cocciMarkus Elfring, Nov 18, 2019
  33. René ScharfeNov 19, 2019
  34. Markus ElfringNov 20, 2019
  35. René ScharfeNov 21, 2019
  36. Markus ElfringNov 21, 2019
  37. SZEDER GáborNov 22, 2019
  38. Markus ElfringNov 22, 2019
  39. Junio C HamanoNov 22, 2019
  40. Markus ElfringNov 22, 2019
  41. Markus ElfringJan 25, 2020

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.