Re: [cocci] Adjusting attributes for variables with SmPL?

Julia Lawall <[email protected]> Thu, 28 May 2026 10:45:41 +0200 (CEST)
Newsgroups fr.inria.cocci
Message-ID <[email protected]>

On Thu, 28 May 2026, Markus Elfring wrote:

> >> Under which circumstances would a function call like make_attribute()
> >> become better supported?
> >> https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/1bff7651118fc65c269dd8dba7f7d4a30fbc72c7/docs/Coccilib.3cocci#L154-159
> > Probably when someone is motivated to implement it.  But there is no
> > motivation to implement it here.  The only goal is to put a metavariable
> > in a string.  We can fix the fresh identifier string problem, but since
> > python works well enough, that's also fine.
>
> * How “fresh” would corresponding data become?

If you give code for creating the name, it just creates the name that you
provide.

julia

>
> * Is it more desirable to provide extra source code anyhow
>   even if it would usually not fit to data requirements for identifiers?
>   https://en.cppreference.com/c/language/identifier
>
>
> How will development interests evolve further then?
>
> Regards,
> Markus
>