Re: [cocci] Improving support for casts in SmPL code?

On Thu, 13 Nov 2025, Markus Elfring wrote:

> > Coccinelle doesn't know these types.  You have to declare them with typedef.
>
> A description approach is available in the SmPL manual.
> https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/e6f8731b851f5d76d2731a9d546dc4f0b181526e/docs/manual/cocci_syntax.tex#L456-466
>
> I find this information source unclear in the way for pointing a possible property
> out for metavariables of the kind “type definition”.
> Do they refer to a fixed type name?

typedef is for declaring that a name is a typedef.

julia