
<html><body><div style="font-size: 12pt; font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0);"><div>You are most likely right: these lines are reached only when dma is active, but it activates only if host->chan_tx (or host->chan_rx) is not NULL.</div>

<div> </div>

<div id="signature-content-no-signature" data-marker="__SIG_PRE__"></div>

<div>


<div id="OLK_SRC_BODY_SECTION">

<div id="OLK_SRC_BODY_SECTION">

<blockquote style="margin: 0 0 0 .8em; border-left: 1px #ccc solid; padding-left: 1em;"><hr id="MESSAGE_DATA_MARKER"><strong>From: </strong>Wolfram <wsa+renesas@sang-engineering.com><br><strong>To: </strong>Anastasia <abelova@astralinux.ru><br><strong>Cc: </strong>Ulf <ulf.hansson@linaro.org>; Geert <geert+renesas@glider.be>; Jiasheng <jiasheng@iscas.ac.cn>; Teppei <teppei.kamijou.yb@renesas.com>; Guennadi <g.liakhovetski@gmx.de>; Shinya <shinya.kuribayashi.px@renesas.com>; Chris <cjb@laptop.org>; open list:MULTIMEDIA CARD (MMC), SECURE DIGITAL (SD) AND... <linux-mmc@vger.kernel.org>; open <linux-kernel@vger.kernel.org>; lvc-project <lvc-project@linuxtesting.org><br><strong>Date: </strong>Thursday, 17 November 2022 4:50 PM MSK<br><strong>Subject: </strong>Re: [PATCH] mmc: sh_mmcif: Add check for NULL for host->chan_yx and host->chan_rx in sh_mmcif_end_cmd<br><br>On Thu, Nov 17, 2022 at 03:30:07PM +0300, Anastasia Belova wrote: <br>> Without these checks NULL-pointer may be dereferenced in <br>> sh_mmcif_end_cmd parameters inside if (data->flags & MMC_DATA_READ). <br>> <br>> Found by Linux Verification Center (linuxtesting.org) with SVACE. <br><br>Is there a code path actually triggering it? I wonder because it seems <br>to me the check for valid channels is already done a little above when <br>DMA is started. And I'd assume once DMA has been started we can take for <br>granted that we have a valid channel when unmapping. But maybe I am <br>missing some error codepath? <br><br></blockquote>

</div>

</div></div></div></body></html>