Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751304AbdGQECl (ORCPT ); Mon, 17 Jul 2017 00:02:41 -0400 Received: from gateway33.websitewelcome.com ([192.185.146.82]:15334 "EHLO gateway33.websitewelcome.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751093AbdGQECk (ORCPT ); Mon, 17 Jul 2017 00:02:40 -0400 Subject: Re: [PATCH] watchdog: ts72xx_wdt: constify watchdog_ops structure To: Guenter Roeck , Wim Van Sebroeck References: <20170708001840.GA8758@embeddedgus> Cc: linux-watchdog@vger.kernel.org, linux-kernel@vger.kernel.org From: "Gustavo A. R. Silva" Message-ID: Date: Sun, 16 Jul 2017 23:02:37 -0500 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - gator4166.hostgator.com X-AntiAbuse: Original Domain - vger.kernel.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - embeddedor.com X-BWhitelist: no X-Source-IP: 189.152.152.176 X-Exim-ID: 1dWxF1-002jdX-BR X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: ([192.168.1.69]) [189.152.152.176]:38796 X-Source-Auth: garsilva@embeddedor.com X-Email-Count: 11 X-Source-Cap: Z3V6aWRpbmU7Z3V6aWRpbmU7Z2F0b3I0MTY2Lmhvc3RnYXRvci5jb20= Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1705 Lines: 71 On 07/07/2017 08:44 PM, Guenter Roeck wrote: > On 07/07/2017 05:18 PM, Gustavo A. R. Silva wrote: >> Check for watchdog_ops structures that are only stored in the ops >> field of >> a watchdog_device structure. This field is declared const, so >> watchdog_ops >> structures that have this property can be declared as const also. >> >> This issue was detected using Coccinelle and the following semantic >> patch: >> >> @r >> disable optional_qualifier@ >> identifier i; >> position p; >> @@ >> static struct watchdog_ops i@p = { ... }; >> >> @ok@ >> identifier r.i; >> struct watchdog_device e; >> position p; >> @@ >> e.ops = &i@p; >> >> @bad@ >> position p != {r.p,ok.p}; >> identifier r.i; >> struct watchdog_ops e; >> @@ >> e@i@p >> >> @depends on !bad disable optional_qualifier@ >> identifier r.i; >> @@ >> static >> +const >> struct watchdog_ops i = { ... }; >> >> Signed-off-by: Gustavo A. R. Silva > > Reviewed-by: Guenter Roeck > Thank you, Guenter. >> --- >> drivers/watchdog/ts72xx_wdt.c | 2 +- >> 1 file changed, 1 insertion(+), 1 deletion(-) >> >> diff --git a/drivers/watchdog/ts72xx_wdt.c >> b/drivers/watchdog/ts72xx_wdt.c >> index 17c25da..811e43c 100644 >> --- a/drivers/watchdog/ts72xx_wdt.c >> +++ b/drivers/watchdog/ts72xx_wdt.c >> @@ -112,7 +112,7 @@ static const struct watchdog_info >> ts72xx_wdt_ident = { >> .identity = "TS-72XX WDT", >> }; >> -static struct watchdog_ops ts72xx_wdt_ops = { >> +static const struct watchdog_ops ts72xx_wdt_ops = { >> .owner = THIS_MODULE, >> .start = ts72xx_wdt_start, >> .stop = ts72xx_wdt_stop, >> > -- Gustavo A. R. Silva