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=-4.0 required=3.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_PATCH,MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED autolearn=unavailable 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 27C8AC282CE for ; Wed, 22 May 2019 21:57:48 +0000 (UTC) Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (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 C49AC21881 for ; Wed, 22 May 2019 21:57:47 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=lists.infradead.org header.i=@lists.infradead.org header.b="K5PGT3GD" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org C49AC21881 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=collabora.com Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=linux-mtd-bounces+linux-mtd=archiver.kernel.org@lists.infradead.org DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20170209; h=Sender: Content-Transfer-Encoding:Content-Type:Cc:List-Subscribe:List-Help:List-Post: List-Archive:List-Unsubscribe:List-Id:MIME-Version:References:In-Reply-To: Message-ID:Subject:To:From:Date:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=RASI2cA70TCKTvtcS9T+b/nvDraoHcpQinPf956t1b4=; b=K5PGT3GD4Ila/V KcPul439qSi0bvrxA0yHEbBBPGxLrlip6hQpIv9E1O/LJGFJB+W8D5QwZZWwvxhBgOEoXHBvoTYAn YDvEK19WVm+RvLiN/98zmfzS8OH+eoPPJ+9a5nszx6rw8EcIk+scoGX0tsAKasWY5VXhLzX78PjZy Kzl1ghWt8olp1sKBscxNqxVDhFUAzH1u9Q8SKJh355NShpxJ+15Ma0D13rOOpX641XYobC6aRE/VQ +zpnLb0/NfpVVmvpb/i253ujkPwyk/dg2ig+APZBTjhMc+KC7UyAndjcgwf0tBfCismzj9RvQLmm6 +mEf0aYL1JpMn0gqMvSg==; Received: from localhost ([127.0.0.1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.90_1 #2 (Red Hat Linux)) id 1hTZF4-0001Ro-4k; Wed, 22 May 2019 21:57:46 +0000 Received: from bhuna.collabora.co.uk ([2a00:1098:0:82:1000:25:2eeb:e3e3]) by bombadil.infradead.org with esmtps (Exim 4.90_1 #2 (Red Hat Linux)) id 1hTZF1-0001RV-0o for linux-mtd@lists.infradead.org; Wed, 22 May 2019 21:57:44 +0000 Received: from localhost (unknown [IPv6:2a01:e0a:2c:6930:b93f:9fae:b276:a89a]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: bbrezillon) by bhuna.collabora.co.uk (Postfix) with ESMTPSA id 611FD26397A; Wed, 22 May 2019 22:57:41 +0100 (BST) Date: Wed, 22 May 2019 23:57:38 +0200 From: Boris Brezillon To: Kees Cook Subject: Re: [PATCH] mtd: onenand_base: Avoid fall-through warnings Message-ID: <20190522235738.68059906@collabora.com> In-Reply-To: <201905221403.642AF6092@keescook> References: <20190522180446.GA30082@embeddedor> <201905221403.642AF6092@keescook> Organization: Collabora X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-redhat-linux-gnu) MIME-Version: 1.0 X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20190522_145743_326898_B9CDE9AD X-CRM114-Status: GOOD ( 25.26 ) X-BeenThere: linux-mtd@lists.infradead.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: Linux MTD discussion mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Vignesh Raghavendra , "Gustavo A. R. Silva" , Richard Weinberger , linux-kernel@vger.kernel.org, Marek Vasut , Kyungmin Park , linux-mtd@lists.infradead.org, Miquel Raynal , Brian Norris , David Woodhouse Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-mtd" Errors-To: linux-mtd-bounces+linux-mtd=archiver.kernel.org@lists.infradead.org On Wed, 22 May 2019 14:30:11 -0700 Kees Cook wrote: > Sorry for being late to speaking up on this. I missed something in the > code the first time I read the thread, that now stood out to me. Notes > below... > > On Wed, May 22, 2019 at 01:04:46PM -0500, Gustavo A. R. Silva wrote: > > diff --git a/drivers/mtd/nand/onenand/onenand_base.c b/drivers/mtd/nand/onenand/onenand_base.c > > index f41d76248550..6cf4df9f8c01 100644 > > --- a/drivers/mtd/nand/onenand/onenand_base.c > > +++ b/drivers/mtd/nand/onenand/onenand_base.c > > @@ -3280,12 +3280,14 @@ static void onenand_check_features(struct mtd_info *mtd) > > Reverse-order review, second hunk first: > > > case ONENAND_DEVICE_DENSITY_2Gb: > > /* 2Gb DDP does not have 2 plane */ > > if (!ONENAND_IS_DDP(this)) > > this->options |= ONENAND_HAS_2PLANE; > > this->options |= ONENAND_HAS_UNLOCK_ALL; > > + /* Fall through - ? */ > > > > case ONENAND_DEVICE_DENSITY_1Gb: > > /* A-Die has all block unlock */ > > So, I think the ONENAND_DEVICE_DENSITY_2Gb should be a "break". Though, > actually, it doesn't matter: > > case ONENAND_DEVICE_DENSITY_2Gb: > /* 2Gb DDP does not have 2 plane */ > if (!ONENAND_IS_DDP(this)) > this->options |= ONENAND_HAS_2PLANE; > this->options |= ONENAND_HAS_UNLOCK_ALL; > > case ONENAND_DEVICE_DENSITY_1Gb: > /* A-Die has all block unlock */ > if (process) > this->options |= ONENAND_HAS_UNLOCK_ALL; > break; > > Falling through from ONENAND_DEVICE_DENSITY_2Gb to > ONENAND_DEVICE_DENSITY_1Gb will actually have no side-effects: > ONENAND_HAS_UNLOCK_ALL was unconditionally set in ..._2Gb, so there is > no reason to fall through to ..._1Gb. (But falling through is harmless.) > > Now the first hunk: > > > if ((this->version_id & 0xf) == 0xe) > > this->options |= ONENAND_HAS_NOP_1; > > } > > + /* Fall through - ? */ > > > > case ONENAND_DEVICE_DENSITY_4Gb: > if (ONENAND_IS_DDP(this)) > this->options |= ONENAND_HAS_2PLANE; > else if (numbufs == 1) { > this->options |= ONENAND_HAS_4KB_PAGE; > this->options |= ONENAND_HAS_CACHE_PROGRAM; > /* > * There are two different 4KiB pagesize chips > * and no way to detect it by H/W config values. > * > * To detect the correct NOP for each chips, > * It should check the version ID as workaround. > * > * Now it has as following > * KFM4G16Q4M has NOP 4 with version ID 0x0131 > * KFM4G16Q5M has NOP 1 with versoin ID 0x013e > */ > if ((this->version_id & 0xf) == 0xe) > this->options |= ONENAND_HAS_NOP_1; > } > > Falling through from ONENAND_DEVICE_DENSITY_4Gb to > ONENAND_DEVICE_DENSITY_2Gb looks like it would mean that > ONENAND_HAS_2PLANE would be unconditionally set for ...4Gb, which seems > very strange to expect: > > if (ONENAND_IS_DDP(this)) > this->options |= ONENAND_HAS_2PLANE; > ... > if (!ONENAND_IS_DDP(this)) > this->options |= ONENAND_HAS_2PLANE; Oops, didn't notice the ! on the second test. > > However! This happens later: > > if (ONENAND_IS_4KB_PAGE(this)) > this->options &= ~ONENAND_HAS_2PLANE; > > i.e. falling through to ...2Gb (which sets ONENAND_HAS_2PLANE) has no > effect because when ONENAND_HAS_2PLANE isn't set (numbufs == 1), it gets > _cleared_ by the above code due to ONENAND_HAS_4KB_PAGE getting set: Are you sure !DDP implies num_bufs == 1? > > #define ONENAND_IS_4KB_PAGE(this) \ > (this->options & ONENAND_HAS_4KB_PAGE) > > > Unfortunately, though, it's less clear about ONENAND_HAS_UNLOCK_ALL, > which is getting set unconditionally for ...4Gb currently (due to the > fallthrough to ...2Gb). However, this happens later: > > if (FLEXONENAND(this)) { > this->options &= ~ONENAND_HAS_CONT_LOCK; > this->options |= ONENAND_HAS_UNLOCK_ALL; > } > ... > #define FLEXONENAND(this) \ > (this->device_id & DEVICE_IS_FLEXONENAND) > > So it's possible this fall through has no effect (are all 4Gb density > devices also FLEXONENAND devices?) > All this look suspicious, and even if the fall through logic has no side effects in practice (which I'm still not sure is the case), I think it'd be better to explicitly set the flags that have to be set in each case statement and add breaks. ______________________________________________________ Linux MTD discussion mailing list http://lists.infradead.org/mailman/listinfo/linux-mtd/