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

Re: [PATCH 2/2] ci: bump ubuntu image version for static-analysis job

From
Patrick Steinhardt <ps@pks.im>
Date
Aug 11, 2026, 05:02 UTC
Message-ID
<anqs8mT78znJmUwJ@pks.im>
In-Reply-To
<xmqq7blx7tii.fsf@gitster.g>
On Mon, Aug 10, 2026 at 10:52:21AM -0700, Junio C Hamano wrote:
Show 12 quoted lines
> Patrick Steinhardt <ps@pks.im> writes:
> 
> > Taking a step back, I do have to wonder whether the Cocci files have
> > been adding any kind of value in the first place. I myself introduced
> > some of them in contexts where I made sweeping changes to our APIs, so
> > that any in-flight topics can be trivially adjusted via Coccinelle. But
> > I very much doubt that anyone ever used those to adapt their in-flight
> > patch series at all.
> >
> > So maybe we should just not do that anymore?
> 
> We still do catch when somebody writes "if (a == NULL)", no?

Yes! What I was trying to say is that we maybe shouldn't add Cocci files for temporary migrations anymore, but still keep (and extend) them for evertyhing where we want to consistently catch antipatterns going forward.

Overall I have a feeling that I'm overthinking this though :) Maybe it ultimately doesn't matter too much and we just continue what we're doing and then clean up every once in a while when too much cruft has accumulated.

Patrick
Previous: Junio C HamanoNext: Jeff King
Message 8 of 13 in “bump static-analysis ci image version”
  1. 0/2 bump static-analysis ci image versionJeff King, Jul 26, 2026
  2. 1/2 bloom: silence CHECK_ASSERTION_SIDE_EFFECTS false positiveJeff King, Jul 26, 2026
  3. 2/2 ci: bump ubuntu image version for static-analysis jobJeff King, Jul 26, 2026
  4. Patrick SteinhardtAug 7, 2026
  5. Junio C HamanoAug 7, 2026
  6. Patrick SteinhardtAug 10, 2026
  7. Junio C HamanoAug 10, 2026
  8. Patrick SteinhardtAug 11, 2026
  9. Jeff KingSep 5, 2026
  10. Elijah NewrenAug 7, 2026
  11. SZEDER GáborAug 8, 2026
  12. Jeff KingSep 5, 2026
  13. Junio C HamanoJul 26, 2026

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.