Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
Subject: Re: [PATCH] bcache: Use #ifdef instead of boolean variable
To:     Alex Dewar <alex.dewar90@gmail.com>
Cc:     Coly Li <colyli@suse.de>,
        Kent Overstreet <kent.overstreet@gmail.com>,
        linux-bcache@vger.kernel.org, linux-kernel@vger.kernel.org
References: <20201009183447.1611204-1-alex.dewar90@gmail.com>
From:   Rasmus Villemoes <rasmus.villemoes@prevas.dk>
Message-ID: <b37a5dd2-437d-65e3-f432-a5247d09d94a@prevas.dk>
Date:   Sat, 10 Oct 2020 01:00:48 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.10.0
In-Reply-To: <20201009183447.1611204-1-alex.dewar90@gmail.com>
Content-Type: text/plain; charset=windows-1252
Content-Language: en-US
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from [192.168.1.149] (5.186.115.188) by AM4PR0701CA0019.eurprd07.prod.outlook.com (2603:10a6:200:42::29) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3477.11 via Frontend Transport; Fri, 9 Oct 2020 23:00:50 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: c6d33a5e-9894-4356-20d7-08d86ca72a96
X-MS-TrafficTypeDiagnostic: AM0PR10MB2260:
X-Microsoft-Antispam-PRVS: <AM0PR10MB2260D26E37EDF8E84C7BF0E193080@AM0PR10MB2260.EURPRD10.PROD.OUTLOOK.COM>
X-MS-Oob-TLC-OOBClassifiers: OLM:6108;
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: iFYW8fmoG2gtVvoZLVJjul3hP+Y9ks9hmqvWAZ4AlrGJ9nYtpdJpZDqgdFpwj2/da8D7xz57YEGKyzwdjLbSrzbUHBIOuW5fTP6+pC43Z2igACC4c1/+NQHfxrYiMYj9/nKbmTEVXCqZLvJvnozEgUUk5S1QyIFyy2HIM5h01oWll/w9fBTqw1AD88deLxv9NngtvMSpbtdAOLJfeNIVI1OJqqG9bWfehQqfBeRXRZWz9nUhBTEuGrnHC777wH1cHEkGxA480ieBgvqGAzv0n3vHyL2YINqXtqkcMyZoEDuXtdz4eHCFuWp4gH9jBQEVTzRoHJR4yXY0TEvUC9nSgDO783DmqrsD6+0eKI1pcpJg7E7JWCFHWgWfa/XHZYFb
X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM0PR10MB1874.EURPRD10.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(346002)(39840400004)(376002)(366004)(396003)(136003)(52116002)(86362001)(16526019)(8676002)(2616005)(186003)(8976002)(956004)(2906002)(8936002)(478600001)(44832011)(54906003)(36756003)(66556008)(66476007)(66946007)(16576012)(5660300002)(316002)(6916009)(31686004)(6486002)(26005)(31696002)(83380400001)(4326008)(43740500002);DIR:OUT;SFP:1102;
X-MS-Exchange-AntiSpam-MessageData: zc6awHjL0MK7IIlQUgxRBlJgog/TlFMwp/Oq7tttSk7RIzu6S0kXtSZgzPYNkyT5Cbs04heYNaBr+lvekhvnvStKgn2D3hCzkE2iGot5kn28J77hdmjPngmRpnAWtdrwqhAPQ+ZaZzUgBpQ00fwcgcCM7Ep+XXT5pmUu/1zgZSukVfVRVF8/E6p9DlJqlOn6Wr3xdHwa37aDQ6LPma674ddfDx34UPlWg7X+LQWl/npgLyWIIGs5gjJxn/62/2J6F0gnVPYKnvkATtyc8+C/D0Hq2ZHuyDPUkMiVbvEaSTptuPrtbBHdeOZc00W/zexkiTbfNrOEHwyhrxj9hYxAbZKCf8xEzDkcB2w0dtew4xD/KWJFp10rbbNrPlcjd1P/E1eHFidaHEcQmP7NCMCySZ2ryAavXRldFfhKYXGxq951LXMFWAcgXRc5TO7hEwK/1/pXwTjev9rff9glQp1Auy5KmL7JpC3XhkUyl1q15k7+oe/MaLeabTMK5XlGA8hFWqle4no3HvvPlCCGUWee9XMp2xOqc0QbYiRvYxAL3LOTdDpxuNH8RnevUkgWxxDBhj3PI6n9fTwGb+33AAYBOvJMTdNwoZV17sha1oGX6gn/16TGFEjrqjHA7CvEoEuPivoGbduEMDauPEBKNZoQuQ==
X-OriginatorOrg: prevas.dk
X-MS-Exchange-CrossTenant-Network-Message-Id: c6d33a5e-9894-4356-20d7-08d86ca72a96
X-MS-Exchange-CrossTenant-AuthSource: AM0PR10MB1874.EURPRD10.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 09 Oct 2020 23:00:50.5044
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: d350cf71-778d-4780-88f5-071a4cb1ed61
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: 1IGXACvDtcdpbhttqU7s/N1unz54ux487cjZsg8O83fvpbLZL3tGkZTJwJrJTv+ZYt/WIOVNHC+yWFRNTffC+ajnIDq+RwURp/+l0wTkWXE=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM0PR10MB2260
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 09/10/2020 20.34, Alex Dewar wrote:
> The variable async_registration is used to indicate whether or not
> CONFIG_BCACHE_ASYNC_REGISTRATION is enabled, triggering a (false)
> warning in Coverity about unreachable code. However, it seems clearer in
> this case just to use an #ifdef, so let's do that instead.
> 
> Addresses-Coverity-ID: 1497746: Control flow issues (DEADCODE)

I think that coverity check needs to be ignored. The kernel is full of
things that are supposed to be eliminated by the compiler, but still
checked for valid syntax etc. Often it's even more hidden than this,
something like

// some header
#ifdef CONFIG_FOO
int foo(void);
#else
static inline int foo(void) { return 0; }
#endif

// code

  if (foo()) { ... // this goes away for CONFIG_FOO=n }

> Signed-off-by: Alex Dewar <alex.dewar90@gmail.com>
> ---
>  drivers/md/bcache/super.c | 40 +++++++++++++++++----------------------
>  1 file changed, 17 insertions(+), 23 deletions(-)
> 
> diff --git a/drivers/md/bcache/super.c b/drivers/md/bcache/super.c
> index 46a00134a36a..6d4127881c6a 100644
> --- a/drivers/md/bcache/super.c
> +++ b/drivers/md/bcache/super.c
> @@ -2504,11 +2504,6 @@ static ssize_t register_bcache(struct kobject *k, struct kobj_attribute *attr,
>  	struct cache_sb_disk *sb_disk;
>  	struct block_device *bdev;
>  	ssize_t ret;
> -	bool async_registration = false;
> -
> -#ifdef CONFIG_BCACHE_ASYNC_REGISTRATION
> -	async_registration = true;
> -#endif

If anything, this should simply be changed to

  bool async_registration = IS_ENABLED(CONFIG_BCACHE_ASYNC_REGISTRATION);

Rasmus