Re: [cocci] Checking SmPL support for two special expressions

On Tue, 11 Nov 2025, Markus Elfring wrote:

> …>> -( uint64_t ) * ( ( uint64_t * ) & val )
> >> +I642U64(val)
> …>> -( int64_t ) * ( ( int64_t * ) & val )
> >> +U642I64(val)
> …> Coccinelle doesn't know these types.  You have to declare them with typedef.
>
> Are type definitions really required for the handling of casts?

Yes.  There is a potential parsing ambiguity otherwise, I believe.

julia

>
> Regards,
> Markus
>