Re: [PATCH] coccinelle: assign signed result to unsigned variable

From: SF Markus Elfring
Date: Sat Sep 26 2015 - 07:44:18 EST

>> The connection between the SmPL specification "f(...)@e" and the desired return type
>> was not obvious for me so far.
> The nearest enclosing expression of the ) is the whole function call itself.

Thanks for your explanation.

Now I guess that the enclosing context is a particular function implementation
where specific calls are performed, isn't it?

> e will thus match the entire expression. e is declared to have type t

Did you omit this detail in your suggestion a moment ago?

> (where t is in practice signed int or whatever one wants to check for).

How do you think about reuse another data type enumeration there?

How would you like to manage names for functions which are not defined
in the current source file?

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at