lkml.org 
[lkml]   [2015]   [Sep]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    SubjectRe: [PATCH] coccinelle: tests: unsigned value cannot be lesser than zero
    From
    Date
    > +@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?


    > +{unsigned char, unsigned short int, unsigned int, unsigned long, unsigned long long, size_t, u8, u16, u32, u64} v;
    > +@@
    > +
    > +(
    > +*v@p < 0
    > +|
    > +*v@p >= 0
    > +)

    How do you think about to use the following SmPL wording instead?

    v@p
    (
    *< 0
    |
    *<= 0
    )

    Regards,
    Markus


    \
     
     \ /
      Last update: 2015-09-15 15:21    [W:3.360 / U:0.008 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site