Received: by 2002:ad5:474a:0:0:0:0:0 with SMTP id i10csp549998imu; Sat, 15 Dec 2018 02:37:09 -0800 (PST) X-Google-Smtp-Source: AFSGD/U3qFV2WpsuNm/N0NfY/ORbrqYKt7bhJSYuv0uIwWu75OR3O8p52Lo1Sy3HewrS8nIOjueh X-Received: by 2002:a17:902:8346:: with SMTP id z6mr5960012pln.340.1544870229468; Sat, 15 Dec 2018 02:37:09 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1544870229; cv=none; d=google.com; s=arc-20160816; b=YmGpFRBNRhmdj9woTL88eJFxIa4CMxrazwaW1BBCg3u6AGhv64yO2LkIPvqsyBp5H5 uZA5sc25xGEEMOx9bTOHICY9vKGZ8prKU+iosr1cHHKUpNhaxniJQyOLLwru4crff0ev UpYMaJgEjIh1gZhqDBoxBT7vCNrZYtP9D00jWIQkFef/RTo8qjesQDcVs9hNqs1uo2lU VvQ28fZuZTjOCproPSgOM+qREn6QWiOXFNw6kT7ilbTNcWRmzsFJGaqa1j0NK+1goSPL LvgvMpJBU3l60qg2JIe0Y7S/yRLoCmx5rI1XctCJzUXacII5k1VZoNu3UbRREeVwuUf/ Huqw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature:dkim-filter; bh=Se/CygLed0b2Rxr7lrdKfHP0lbTuOWGTz+r/5tfczSk=; b=Qf4XTnaSugQkWJCDBden6zsDFBhOQOIRRnqMS5SS8ju6mbYJ/T04WdOB7jFIA72UnD z6S90ZJAi+GGkUYY1aV6O6VDV6BsAi24eRAYkx0tpNayFyYyMiCmwgU/XQgYp/jEC5Ki BZk+UspBJpFuHLDOpJM2wCzS2eQ5JaV6uGs6GeGD9MUWkzA8oc7JzY1lt6CZXnof/sKP wC8sDJrY7YjTuZwcKaXZ3DEBPuDVo9FEZUky1mLuz+a/hSO5vC+AzlPeyzjZ9VyeVdxW JxbPqMBkr/g7qT245QJlN+JiwkNzPfgf50C1TinfT5jxNrXX1pFfKbOIkHJLK7pK1b8l QT0g== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@nifty.com header.s=dec2015msa header.b=BTdHtFKH; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id g25si5613309pgm.14.2018.12.15.02.36.51; Sat, 15 Dec 2018 02:37:09 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@nifty.com header.s=dec2015msa header.b=BTdHtFKH; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729750AbeLOKf4 (ORCPT + 99 others); Sat, 15 Dec 2018 05:35:56 -0500 Received: from conssluserg-05.nifty.com ([210.131.2.90]:38221 "EHLO conssluserg-05.nifty.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728731AbeLOKf4 (ORCPT ); Sat, 15 Dec 2018 05:35:56 -0500 Received: from mail-vs1-f45.google.com (mail-vs1-f45.google.com [209.85.217.45]) (authenticated) by conssluserg-05.nifty.com with ESMTP id wBFAZnJW030700 for ; Sat, 15 Dec 2018 19:35:50 +0900 DKIM-Filter: OpenDKIM Filter v2.10.3 conssluserg-05.nifty.com wBFAZnJW030700 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nifty.com; s=dec2015msa; t=1544870150; bh=Se/CygLed0b2Rxr7lrdKfHP0lbTuOWGTz+r/5tfczSk=; h=References:In-Reply-To:From:Date:Subject:To:Cc:From; b=BTdHtFKHbZDfS+0Vxz17cs9QibrWyDT6zcIFnJnC9xGoqhxvijBbfsRQu3o8YUFI+ 5oReNW3P3xrC6RSde6a1w9j2iMWd73qdnThmV3eETKos9CPQ091MuYFh2BL29sO6jt zxcbk8mqmVfqpoxhzeyvT/j4SRjvrcg+dLpBtFp87xyahJEAX8CGL3EkxViwAbU5RU WHZ2Rcqk1JkWWU/sxKlEoUHDWJDoJ1UTENMBsBw8yNFkzqw1KhPTVplRTQjncoKw+7 U6mOwHwt4tqFEmvBzA68T3+qPDchPT7xmdBwaJr4iBcQh77jHb4ZQPStS9U6xfToUa rivW74Rak8YIQ== X-Nifty-SrcIP: [209.85.217.45] Received: by mail-vs1-f45.google.com with SMTP id g68so4923548vsd.11 for ; Sat, 15 Dec 2018 02:35:50 -0800 (PST) X-Gm-Message-State: AA+aEWazfJJI9ehnDrqgh9d1Nw1tuKDCGFKs2ho6nfwnnC9WaAmGLIYk EGO2g/UmDm43TOSkPD37a+EP220Lde9J/C2nsjE= X-Received: by 2002:a67:f1d6:: with SMTP id v22mr2887640vsm.181.1544870148984; Sat, 15 Dec 2018 02:35:48 -0800 (PST) MIME-Version: 1.0 References: <1544615757-19356-1-git-send-email-Julia.Lawall@lip6.fr> In-Reply-To: <1544615757-19356-1-git-send-email-Julia.Lawall@lip6.fr> From: Masahiro Yamada Date: Sat, 15 Dec 2018 19:35:12 +0900 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: [PATCH 0/2] scripts: coccinelle: Improve boolinit To: Julia Lawall Cc: Gilles Muller , Nicolas Palix , Michal Marek , cocci@systeme.lip6.fr, Linux Kernel Mailing List , Peter Zijlstra , "Paul E . McKenney" Content-Type: text/plain; charset="UTF-8" Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Dec 12, 2018 at 9:34 PM Julia Lawall wrote: > > Reduce the scope of the rule and improve the warning messages. > > julia (2): > scripts: coccinelle: only suggest true/false in files that already use > them > scripts: coccinelle: Correct warning message Applied to linux-kbuild. Thanks! > scripts/coccinelle/misc/boolinit.cocci | 43 +++++++++++++++++++++------------- > 1 file changed, 27 insertions(+), 16 deletions(-) > > -- > 1.9.1 > -- Best Regards Masahiro Yamada