Messages in this thread | | | Subject | Re: [PATCH] coccinelle: tests: unsigned value cannot be lesser than zero | From | SF Markus Elfring <> | Date | Tue, 15 Sep 2015 15:16:33 +0200 |
| |
>> v@p >> ( >> *< 0 >> | >> *<= 0 >> ) > > It does not, and is not intended to, work. The branches of a disjunction > should be complete expressions.
Will the following SmPL approach be more appropriate then?
( *v@p < 0 | *v@p <= 0 )
Regards, Markus
| |