From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-2.2 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,UNPARSEABLE_RELAY,USER_AGENT_SANE_1 autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 0DA76C33CA2 for ; Fri, 10 Jan 2020 13:11:39 +0000 (UTC) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 6DCCB2072E for ; Fri, 10 Jan 2020 13:11:38 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 6DCCB2072E Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=linux.alibaba.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=cocci-bounces@systeme.lip6.fr Received: from systeme.lip6.fr (systeme.lip6.fr [132.227.104.7]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTP id 00ADBPm7023459; Fri, 10 Jan 2020 14:11:25 +0100 (CET) Received: from systeme.lip6.fr (systeme.lip6.fr [127.0.0.1]) by systeme.lip6.fr (Postfix) with ESMTP id 0D3A077EA; Fri, 10 Jan 2020 14:11:25 +0100 (CET) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by systeme.lip6.fr (Postfix) with ESMTPS id 666A777E3 for ; Fri, 10 Jan 2020 14:11:22 +0100 (CET) Received: from out30-45.freemail.mail.aliyun.com (out30-45.freemail.mail.aliyun.com [115.124.30.45]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTP id 00ADBGZZ002757 for ; Fri, 10 Jan 2020 14:11:21 +0100 (CET) X-Alimail-AntiSpam: AC=PASS; BC=-1|-1; BR=01201311R381e4; CH=green; DM=||false|; DS=||; FP=0|-1|-1|-1|0|-1|-1|-1; HT=e01e01422; MF=wenyang@linux.alibaba.com; NM=1; PH=DS; RN=10; SR=0; TI=SMTPD_---0TnKMqhn_1578661869; Received: from IT-C02W23QPG8WN.local(mailfrom:wenyang@linux.alibaba.com fp:SMTPD_---0TnKMqhn_1578661869) by smtp.aliyun-inc.com(127.0.0.1); Fri, 10 Jan 2020 21:11:11 +0800 To: Julia Lawall References: <20200107170240.47207-1-wenyang@linux.alibaba.com> From: Wen Yang Message-ID: Date: Fri, 10 Jan 2020 21:11:08 +0800 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:68.0) Gecko/20100101 Thunderbird/68.1.1 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US X-Greylist: Sender IP whitelisted, Sender e-mail whitelisted, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Fri, 10 Jan 2020 14:11:25 +0100 (CET) X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Fri, 10 Jan 2020 14:11:21 +0100 (CET) X-Scanned-By: MIMEDefang 2.78 on 132.227.60.2 X-Scanned-By: MIMEDefang 2.78 on 132.227.60.2 Cc: Michal Marek , Gilles Muller , Nicolas Palix , Matthias Maennich , linux-kernel@vger.kernel.org, Greg Kroah-Hartman , Thomas Gleixner , cocci@systeme.lip6.fr Subject: Re: [Cocci] [PATCH v2] coccinelle: semantic patch to check for inappropriate do_div() calls X-BeenThere: cocci@systeme.lip6.fr X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Sender: cocci-bounces@systeme.lip6.fr Errors-To: cocci-bounces@systeme.lip6.fr CgpPbiAyMDIwLzEvOCAxOjI1IOS4iuWNiCwgSnVsaWEgTGF3YWxsIHdyb3RlOgo+PiArQGRlcGVu ZHMgb24gY29udGV4dEAKPj4gK2V4cHJlc3Npb24gZjsKPj4gK2xvbmcgbDsKPj4gK3Vuc2lnbmVk IGxvbmcgdWw7Cj4+ICt1NjQgdWw2NDsKPj4gK3M2NCBzbDY0Owo+PiArCj4+ICtAQAo+PiArKAo+ PiArKiBkb19kaXYoZiwgbCk7Cj4+ICt8Cj4+ICsqIGRvX2RpdihmLCB1bCk7Cj4+ICt8Cj4+ICsq IGRvX2RpdihmLCB1bDY0KTsKPj4gK3wKPj4gKyogZG9fZGl2KGYsIHNsNjQpOwo+PiArKQo+IAo+ IFRoaXMgcGFydCBpcyBub3QgcmVhbGx5IGlkZWFsLiAgRm9yIHRoZSByZXBvcnRzLCB5b3UgZmls dGVyIGZvciB0aGUKPiBjb25zdGFudHMsIGJ1dCBoZXJlIHlvdSBkb24ndCBkbyBhbnl0aGluZy4g IFlvdSBjYW4gcHV0IHNvbWUgcHl0aG9uIGNvZGUKPiBpbiB0aGUgbWF0Y2hpbmcgb2YgdGhlIG1l dGF2YXJpYWJsZXM6Cj4gCj4gdW5zaWduZWQgbG9uZyB1bCA6IHNjcmlwdDpweXRob24oKSB7IHdo YXRldmVyIHlvdSB3YW50IHRvIGNoZWNrIG9uIHVsIH07Cj4gCj4gVGhlbiBpdCB3aWxsIG9ubHkg bWF0Y2ggaWYgdGhlIGNvbmRpdGlvbiBpcyBzYXRpc2ZpZWQuCj4gCj4ganVsaWEKPiAKCk9LLCB0 aGFuayB5b3UgdmVyeSBtdWNoLgpXZSdsbCBmaXggaXQgc29vbi4KCi0tIApCZXN0IFdpc2hlcywK V2VuCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkNvY2Np IG1haWxpbmcgbGlzdApDb2NjaUBzeXN0ZW1lLmxpcDYuZnIKaHR0cHM6Ly9zeXN0ZW1lLmxpcDYu ZnIvbWFpbG1hbi9saXN0aW5mby9jb2NjaQo=