From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1752754AbbIONQx (ORCPT <rfc822;w@1wt.eu>);
	Tue, 15 Sep 2015 09:16:53 -0400
Received: from mout.web.de ([212.227.15.14]:55854 "EHLO mout.web.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1751536AbbIONQt (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Tue, 15 Sep 2015 09:16:49 -0400
Subject: Re: [PATCH] coccinelle: tests: unsigned value cannot be lesser than
 zero
To: Julia Lawall <julia.lawall@lip6.fr>
References: <1442309232-5902-1-git-send-email-a.hajda@samsung.com>
 <55F816BC.5050407@users.sourceforge.net>
 <alpine.DEB.2.10.1509151505240.2537@hadrien>
Cc: Andrzej Hajda <a.hajda@samsung.com>,
        Bartlomiej Zolnierkiewicz <b.zolnierkie@samsung.com>,
        Gilles Muller <Gilles.Muller@lip6.fr>, Joe Perches <joe@perches.com>,
        Nicolas Palix <nicolas.palix@imag.fr>, Michal Marek <mmarek@suse.com>,
        linux-kernel@vger.kernel.org, kernel-janitors@vger.kernel.org,
        cocci@systeme.lip6.fr
From: SF Markus Elfring <elfring@users.sourceforge.net>
Message-ID: <55F81A31.3040808@users.sourceforge.net>
Date: Tue, 15 Sep 2015 15:16:33 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.2.0
MIME-Version: 1.0
In-Reply-To: <alpine.DEB.2.10.1509151505240.2537@hadrien>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:fzZ0QMZXWukRrC5xeGy3UjsfdmMmkiwAgz30pgev0XNqYZAfesb
 7569icjG0QZQsJ4eHce33ei1+/FanwMYDbQtFCqvtnwhNdsyz1xOF1Xz1nkNjboggyVNY/w
 bb3NrG0+wZRhepqLwOLPALq0GBHbcM0R+Dd6wJT1uQiahXj7gfwk65i8phAD/YB+/xcxCnh
 q//hDN1B9gjdwwBDv8s/g==
X-UI-Out-Filterresults: notjunk:1;V01:K0:W0j3p/GkXJk=:jXkQ913MZKFVosugLmmIZk
 faEHgGpD+BMIJoickhWCzmP8ryNHZLNTEP3SxfXgsosTGWTLJEJNC4XmmmkEN6SUH4n5kx7vg
 coLHBuntqFJr7+5h5P7g6Z1AEhvFn/Rt5rTBq+iv4oBGHbyOpQgRAKHayRC5v5B4RyoxaaipF
 /tXwwhzdBYswjJFrwCEu5CpNq+o3EB11Rn1XW7zp27FgRGB7mnTIPRT7I+1pVAnWvUvseES8m
 CScvjsrbgyJjQdXWAaKSVOgN4+I9r8xHCS+7Z8VbClWSTnz6iG+nZhwqh18nH8DXujqe7k1TG
 7P3s0OadeZvTvC5edMA+nUfwxtUgtw+TyZm6S92Q/WWQlcRqj1ZXYOLcbQIGdSA7Lb6PPbzqh
 rPwdwHvZTAD1HT8BZkCtWbNgYUl5gqmKu8B41rfRI2BPDP/VN6bZgNLZi7yPoJW5rR19ONFMi
 riVfPe4W579RKsxA5pYdxrzMpOJJZIfGAUNVGPZYlsStvFd3P4mWK7gtTortvaO3WznXhOApg
 OAoTp4jU0zmhD33bvfpH9mRcXsEWiA9k9dw5vrJ3sj/a860r1+C1GuNMdPMWy6HBh07Q3OBcZ
 VJ1X9E01xSg/dLSTQloQkhgkNhKUiADy2kadqikvRLfGNWA2LBHFwJUYsPmqx03Ln/ocRgZTn
 gZG8rleuR1LfmfLPyFMO0b5OfBFwBQ7NHv8DF0flITNH6aTRdfIScnmtD71w5tGmwTaOSjEdD
 vKpAjdwKQuSnA0MLGiQta3JVOAD0xWmVuqYxuA==
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

>>  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