[Cocci] [PATCH] coccinelle: tests: unsigned value cannot be lesser than zero

[a.hajda@samsung.com (Andrzej Hajda)]

On 09/15/2015 03:01 PM, SF Markus Elfring wrote:
>> + at r depends on context || org || report@
>> +position p;
>> +typedef u8, u16, u32, u64;
> Can the involved data types be restricted for unsigned types for such
> a source code analysis in a more general way?

I am not sure if I understand correctly. If you think about removing all u*
typedefs it
will result in omitting u* related comparisons, unless you use
--recursive-includes option.
Another solution is to add '--include include/asm-generic/int-ll64.h' to kbuild,
surprisingly
this header file is common for all architectures :)

Regards
Andrzej

>
>
>> +{unsigned char, unsigned short int, unsigned int, unsigned long, unsigned long long, size_t, u8, u16, u32, u64} v;
>> +@@
>> +
>> +(
>> +*v at p < 0
>> +|
>> +*v at p >= 0
>> +)
> How do you think about to use the following SmPL wording instead?
>
>  v at p
> (
> *< 0
> |
> *<= 0
> )
>
> Regards,
> Markus
>