From mboxrd@z Thu Jan  1 00:00:00 1970
Subject: [PATCH] MdeModulePkg/Bus/Ata/AtaBusDxe: Fix SIGN_EXTENSION Coverity issue
To: devel@edk2.groups.io
From: "Ranbir Singh" <Ranbir.Singh3@Dell.com>
X-Originating-Location: Bengaluru, Karnataka, IN (122.172.85.38)
X-Originating-Platform: Windows Chrome 108
User-Agent: GROUPS.IO Web Poster
MIME-Version: 1.0
Date: Tue, 03 Jan 2023 21:57:31 -0800
Message-ID: <DAfs.1672811851316847781.8HCQ@groups.io>
Content-Type: multipart/alternative; boundary="SWAdvDO8pxKOZnHOu5j6"

--SWAdvDO8pxKOZnHOu5j6
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

Line number 365 does contain a typecast with UINT32, but it is after
all the operations (16-bit left shift followed by OR'ing) are over.
To avoid any SIGN_EXTENSION, typecast the intermediate result after
16-bit left shift operation immediately with UINT32.

REF: https://bugzilla.tianocore.org/show_bug.cgi?id=3D4209
Signed-off-by: Ranbir Singh <Ranbir.Singh3@Dell.com>
---
MdeModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/MdeModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c b/MdeModul=
ePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c
index 4334169d25..081cd5595a 100644
--- a/MdeModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c
+++ b/MdeModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c
@@ -362,7 +362,7 @@ IdentifyAtaDevice (
// Check logical block size
//
if ((PhyLogicSectorSupport & BIT12) !=3D 0) {
-=C2=A0 =C2=A0 =C2=A0 BlockMedia->BlockSize =3D (UINT32)(((IdentifyData->lo=
gic_sector_size_hi << 16) | IdentifyData->logic_sector_size_lo) * sizeof (U=
INT16));
+=C2=A0 =C2=A0 =C2=A0 BlockMedia->BlockSize =3D (((UINT32)(IdentifyData->lo=
gic_sector_size_hi << 16) | IdentifyData->logic_sector_size_lo) * sizeof (U=
INT16));
}

AtaDevice->BlockIo.Revision =3D EFI_BLOCK_IO_PROTOCOL_REVISION2;
--
2.36.1.windows.1

--SWAdvDO8pxKOZnHOu5j6
Content-Type: text/html; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

<div>Line number 365 does contain a typecast with UINT32, but it is after</=
div>
<div>all the operations (16-bit left shift followed by OR'ing) are over.</d=
iv>
<div>To avoid any SIGN_EXTENSION, typecast the intermediate result after</d=
iv>
<div>16-bit left shift operation immediately with UINT32.</div>
<div>&nbsp;</div>
<div>REF: https://bugzilla.tianocore.org/show_bug.cgi?id=3D4209</div>
<div>Signed-off-by: Ranbir Singh &lt;Ranbir.Singh3@Dell.com&gt;</div>
<div>---</div>
<div>&nbsp;MdeModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c | 2 +-</div>
<div>&nbsp;1 file changed, 1 insertion(+), 1 deletion(-)</div>
<div>&nbsp;</div>
<div>diff --git a/MdeModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c b/Mde=
ModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c</div>
<div>index 4334169d25..081cd5595a 100644</div>
<div>--- a/MdeModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c</div>
<div>+++ b/MdeModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c</div>
<div>@@ -362,7 +362,7 @@ IdentifyAtaDevice (</div>
<div>&nbsp; &nbsp; &nbsp;// Check logical block size</div>
<div>&nbsp; &nbsp; &nbsp;//</div>
<div>&nbsp; &nbsp; &nbsp;if ((PhyLogicSectorSupport &amp; BIT12) !=3D 0) {<=
/div>
<div>-&nbsp; &nbsp; &nbsp; BlockMedia-&gt;BlockSize =3D (UINT32)(((Identify=
Data-&gt;logic_sector_size_hi &lt;&lt; 16) | IdentifyData-&gt;logic_sector_=
size_lo) * sizeof (UINT16));</div>
<div>+&nbsp; &nbsp; &nbsp; BlockMedia-&gt;BlockSize =3D (((UINT32)(Identify=
Data-&gt;logic_sector_size_hi &lt;&lt; 16) | IdentifyData-&gt;logic_sector_=
size_lo) * sizeof (UINT16));</div>
<div>&nbsp; &nbsp; &nbsp;}</div>
<div>&nbsp;</div>
<div>&nbsp; &nbsp; &nbsp;AtaDevice-&gt;BlockIo.Revision =3D EFI_BLOCK_IO_PR=
OTOCOL_REVISION2;</div>
<div>--</div>
<div>2.36.1.windows.1</div>

--SWAdvDO8pxKOZnHOu5j6--