Received: by 2002:ad5:474a:0:0:0:0:0 with SMTP id i10csp2057065imu; Wed, 12 Dec 2018 08:48:39 -0800 (PST) X-Google-Smtp-Source: AFSGD/UZr8s8FD1TI0ZDN4kcJoluSWQi1tlicIepYR68sDk8cyaBJGckGvtGm9iXD8dKNzVELS5a X-Received: by 2002:a17:902:981:: with SMTP id 1mr19907777pln.142.1544633319773; Wed, 12 Dec 2018 08:48:39 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1544633319; cv=none; d=google.com; s=arc-20160816; b=Mmw2CzWbeu9Ez9iSp+BMMrrUp6QDug3RYhZfkNhl1v75C9uleIJ88AEKLkhkD3jjCK aLyW5qxBotVfLHnwlJLgQMRFHchrEo+280zSKTYZsYGwnIBnBGYqTnDQ8GUTs5Eg+zD1 N5uo8NRrmDThHk8NJHTQ1dzVBAbbpoW9YK2Lzs19UBJaj161/uPZWbyxqQLSHPAGRyme LxnMaG7L5PjobR6sK5ao/ennhecLSZiyocQDZiLfk4YCgB1YwxgVkyee/UOqFJ76j/nY Iy2sFiYSDCa8v4NRc7lloW/g/xhgjaEljOuAMLcX3BmLWhWu8vtaCKjIW4rVrj7C9mEn SynQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date:dkim-signature; bh=BKexHWBSPBTwgHQ3TVsh4NUrQIerF2gMww+s2Yt8PRc=; b=QZGnvlr51RYvicVV2Wzc6wbYB2Y2sknfGVW9oUg75WD09ZNX26AvTe5etY0NGQZUyO P8FP1zPSu4SpWozOzxbaLmGO3vLB9YnyEq7NvEhlmiB8hiUABRAYy9s3gkB9CBV/0BAi m9uuR6QsAn52munR/p/Zr1K11fZktR7pAN621guJ0oKpISt9T9N+e/om933bLpCrV4+q xdCwWSY/C8aOEgxATnRBHDF8PUyZ2fQClkMyi9ZBdDaR/u7YN7YNTTb6L2j1NIiZzxJW dU4foaLC7jQP5A/yisGIFjoFsr+/BZA0qa0AcSspdedhNJg3GJAmFjXJwrsrbrfGllTQ qkig== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=DZf80CZY; 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; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id r14si14929743pgk.75.2018.12.12.08.48.00; Wed, 12 Dec 2018 08:48:39 -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=@gmail.com header.s=20161025 header.b=DZf80CZY; 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; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727856AbeLLQrB (ORCPT + 99 others); Wed, 12 Dec 2018 11:47:01 -0500 Received: from mail-pf1-f172.google.com ([209.85.210.172]:39129 "EHLO mail-pf1-f172.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726358AbeLLQrB (ORCPT ); Wed, 12 Dec 2018 11:47:01 -0500 Received: by mail-pf1-f172.google.com with SMTP id c72so9135422pfc.6 for ; Wed, 12 Dec 2018 08:46:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:cc:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=BKexHWBSPBTwgHQ3TVsh4NUrQIerF2gMww+s2Yt8PRc=; b=DZf80CZY3ZSg8MNKSWUEb2WZm+H9h90sfk1FpqpNsM9jvL9OSwpO2cSmU1ElPDzJGv 7wompIKWprPG5pktbAXEX4qSlzwdXxAC6PxfEYCXz8Ro70FoJ39Pn9UdvG4wsWExjAHs pBhsy9Dz3kTxBquXsYV2+t/O2SLeAANacR0MFMedeyDU7Hf0w32nbkJzrukW3UlGy3tn YMK7kvr2OQFsiBeYMgEc5Ap9pqZgL6RNd/FRA3EqycCZLvqU/WOtyrq3zsvlDW8b27qd AM6Cu6YvjLNY0WqbhEXXHSpFXCqFeTJ/4iUaJQLQCwyxGMdQeK6P7f63KnYzzirUIR3y E1HQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=BKexHWBSPBTwgHQ3TVsh4NUrQIerF2gMww+s2Yt8PRc=; b=GWw5KjN+vmbUEllXarKuoNygb6SP+j6xk+BlSnhpsvzTBs83ajENDL01fJwaHmDSdb Lees/YGvytF7ZJWL3v3B3SFdsXsjssQaKu9rwusOFzX2zv+4ZsDdKv31xxkbqKm/gM4n UnuWGHcgzpEf/clobmv3ZHXYfaig9k4Qxo54b1I5xtseXLcqQf/Xp44z8jlZJdKdM5mZ Ej/bWv4k7AfrRk6jS4bL2LNLCLYq9b8MBox38cCtnyEXnPfrG1lQQST143kR0+wJwL4I jpGFbSQ8GXL0KX4/2kcieqQkBSKnenGGt1pY8c4SQfMkPPwrsO98fiY/hSYDEN5Dqo+/ uF6Q== X-Gm-Message-State: AA+aEWaNwh/51LjaaOgptit0BkJmJ5tEQ3a97LIoAy2advciRx/eWvlw htBjFEtRbLw3BYBqeZPvtjA= X-Received: by 2002:a62:14d1:: with SMTP id 200mr21151444pfu.103.1544633219150; Wed, 12 Dec 2018 08:46:59 -0800 (PST) Received: from himanshu-Vostro-3559 ([103.233.116.134]) by smtp.gmail.com with ESMTPSA id x26sm22242652pfn.50.2018.12.12.08.46.55 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 12 Dec 2018 08:46:58 -0800 (PST) Date: Wed, 12 Dec 2018 22:16:52 +0530 From: Himanshu Jha To: Julia Lawall , yamada.masahiro@socionext.com Cc: Michal Marek , Peter Zijlstra , Nicolas Palix , linux-kernel@vger.kernel.org, "Paul E . McKenney" , cocci@systeme.lip6.fr Subject: Re: [Cocci] [PATCH 0/2] scripts: coccinelle: Improve boolinit Message-ID: <20181212164651.GA12081@himanshu-Vostro-3559> References: <1544615757-19356-1-git-send-email-Julia.Lawall@lip6.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1544615757-19356-1-git-send-email-Julia.Lawall@lip6.fr> User-Agent: Mutt/1.9.4 (2018-02-28) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org +Cc Masahiro Yamada On Wed, Dec 12, 2018 at 12:55:55PM +0100, 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 > > scripts/coccinelle/misc/boolinit.cocci | 43 +++++++++++++++++++++------------- > 1 file changed, 27 insertions(+), 16 deletions(-) > > -- > 1.9.1 > > _______________________________________________ > Cocci mailing list > Cocci@systeme.lip6.fr > https://systeme.lip6.fr/mailman/listinfo/cocci -- Himanshu Jha Undergraduate Student Department of Electronics & Communication Guru Tegh Bahadur Institute of Technology