From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from walk.intel-email.com (walk.intel-email.com [101.227.64.242]) by mx.groups.io with SMTP id smtpd.web09.5319.1667890783518635359 for ; Mon, 07 Nov 2022 22:59:45 -0800 Authentication-Results: mx.groups.io; dkim=pass header.i=@byosoft.com.cn header.s=cloud-union header.b=oBxOlzZe; spf=pass (domain: byosoft.com.cn, ip: 101.227.64.242, mailfrom: gaoliming@byosoft.com.cn) Received: from walk.intel-email.com (localhost [127.0.0.1]) by walk.intel-email.com (Postfix) with ESMTP id E7486CD1F812 for ; Tue, 8 Nov 2022 14:59:40 +0800 (CST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=byosoft.com.cn; s=cloud-union; t=1667890781; bh=UpvigmHFm8jFapuwTHLBY5E7EtxVsRU7sCuhLM643VA=; h=From:To:Cc:References:In-Reply-To:Subject:Date; b=oBxOlzZe/G8pe4yjQtMRMd0OmvOsmjf7XHKp49rq9DfAUB0yXVzMdiQTlC52QfT2k ZZM5RyFLDaD69rbphlNuDoGnMmMUxKrQMpzS43JbxvEp1UfBLXiEBlK9ECsMvBiVGW E8ROTaYjNSmrAry/8YIxwi+XD5MlegphJSX9qahw= Received: from localhost (localhost [127.0.0.1]) by walk.intel-email.com (Postfix) with ESMTP id E2A11CD1F811 for ; Tue, 8 Nov 2022 14:59:40 +0800 (CST) Received: from walk.intel-email.com (localhost [127.0.0.1]) by walk.intel-email.com (Postfix) with ESMTP id B1369CD1F810 for ; Tue, 8 Nov 2022 14:59:40 +0800 (CST) Authentication-Results: walk.intel-email.com; none Received: from mail.byosoft.com.cn (mail.byosoft.com.cn [58.240.74.242]) by walk.intel-email.com (Postfix) with SMTP id A8F93CD1F7F2 for ; Tue, 8 Nov 2022 14:59:37 +0800 (CST) Received: from DESKTOPS6D0PVI ([58.246.60.130]) (envelope-sender ) by 192.168.6.13 with ESMTP for ; Tue, 08 Nov 2022 14:59:36 +0800 X-WM-Sender: gaoliming@byosoft.com.cn X-Originating-IP: 58.246.60.130 X-WM-AuthFlag: YES X-WM-AuthUser: gaoliming@byosoft.com.cn From: "gaoliming" To: , Cc: "'Zhiguang Liu'" References: <20221104202528.1157-1-michael.d.kinney@intel.com> <20221104202528.1157-8-michael.d.kinney@intel.com> In-Reply-To: <20221104202528.1157-8-michael.d.kinney@intel.com> Subject: =?UTF-8?B?5Zue5aSNOiBbZWRrMi1kZXZlbF0gW1BhdGNoIFYyIDcvN10gTWRlUGtnL1Rlc3Q6IEFkZCBwb3J0IG9mIEJhc2VTYWZlSW50TGliIHVuaXQgdGVzdHMgdG8gR29vZ2xlVGVzdA==?= Date: Tue, 8 Nov 2022 14:59:37 +0800 Message-ID: <034701d8f33f$aa5e5df0$ff1b19d0$@byosoft.com.cn> MIME-Version: 1.0 X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQFH1jmsDKlCXelHkMPmoRIYImxWkgIqbhr1r0V/YpA= Sender: "gaoliming" Content-Type: text/plain; charset="gb2312" Content-Transfer-Encoding: quoted-printable Content-Language: zh-cn Reviewed-by: Liming Gao > -----=D3=CA=BC=FE=D4=AD=BC=FE----- > =B7=A2=BC=FE=C8=CB: devel@edk2.groups.io =B4=FA=B1= =ED Michael D > Kinney > =B7=A2=CB=CD=CA=B1=BC=E4: 2022=C4=EA11=D4=C25=C8=D5 4:25 > =CA=D5=BC=FE=C8=CB: devel@edk2.groups.io > =B3=AD=CB=CD: Liming Gao ; Zhiguang Liu > > =D6=F7=CC=E2: [edk2-devel] [Patch V2 7/7] MdePkg/Test: Add port of BaseSa= feIntLib > unit tests to GoogleTest >=20 > REF: https://bugzilla.tianocore.org/show_bug.cgi?id=3D4134 >=20 > Cc: Liming Gao > Cc: Zhiguang Liu > Signed-off-by: Michael D Kinney > --- > .../GoogleTestBaseSafeIntLib.inf | 37 + > .../GoogleTestBaseSafeIntLib.uni | 13 + > .../SafeIntLibUintnIntnUnitTests32.cpp | 425 +++ > .../SafeIntLibUintnIntnUnitTests64.cpp | 429 ++++ > .../BaseSafeIntLib/TestBaseSafeIntLib.cpp | 2274 > +++++++++++++++++ > MdePkg/Test/MdePkgHostTest.dsc | 1 + > 6 files changed, 3179 insertions(+) > create mode 100644 > MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib.i > nf > create mode 100644 > MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib.u > ni > create mode 100644 > MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnitTest > s32.cpp > create mode 100644 > MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnitTest > s64.cpp > create mode 100644 > MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/TestBaseSafeIntLib.cpp >=20 > diff --git > a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib > .inf > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib > .inf > new file mode 100644 > index 000000000000..f609bfa57f7b > --- /dev/null > +++ > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib > .inf > @@ -0,0 +1,37 @@ > +## @file > +# Host OS based Application that Unit Tests the SafeIntLib using Google Test > +# > +# Copyright (c) 2022, Intel Corporation. All rights reserved. > +# SPDX-License-Identifier: BSD-2-Clause-Patent > +## > + > +[Defines] > + INF_VERSION =3D 0x00010005 > + BASE_NAME =3D GoogleTestBaseSafeIntLib > + MODULE_UNI_FILE =3D GoogleTestBaseSafeIntLib.uni > + FILE_GUID =3D 2D9C1796-B0D2-4DA7-9529-1F8D9CCC11D3 > + MODULE_TYPE =3D HOST_APPLICATION > + VERSION_STRING =3D 1.0 > + > +# > +# The following information is for reference only and not required by th= e > build tools. > +# > +# VALID_ARCHITECTURES =3D IA32 X64 > +# > + > +[Sources] > + TestBaseSafeIntLib.cpp > + > +[Sources.IA32] > + SafeIntLibUintnIntnUnitTests32.cpp > + > +[Sources.X64] > + SafeIntLibUintnIntnUnitTests64.cpp > + > +[Packages] > + MdePkg/MdePkg.dec > + UnitTestFrameworkPkg/UnitTestFrameworkPkg.dec > + > +[LibraryClasses] > + GoogleTestLib > + SafeIntLib > diff --git > a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib > .uni > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib > .uni > new file mode 100644 > index 000000000000..1c11b9e05205 > --- /dev/null > +++ > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib > .uni > @@ -0,0 +1,13 @@ > +// /** @file > +// Application that Unit Tests the SafeIntLib using Google Test > +// > +// Copyright (c) 2020, Intel Corporation. All rights reserved.
> +// > +// SPDX-License-Identifier: BSD-2-Clause-Patent > +// > +// **/ > + > +#string STR_MODULE_ABSTRACT #language en-US > "Application that Unit Tests the SafeIntLib using Google Test" > + > +#string STR_MODULE_DESCRIPTION #language en-US > "Application that Unit Tests the SafeIntLib using Google Test." > + > diff --git > a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnitT > ests32.cpp > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnitT > ests32.cpp > new file mode 100644 > index 000000000000..6fbf302c1c5e > --- /dev/null > +++ > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnitT > ests32.cpp > @@ -0,0 +1,425 @@ > +/** @file > + IA32-specific functions for unit-testing INTN and UINTN functions in > + SafeIntLib. > + > + Copyright (c) Microsoft Corporation.
> + Copyright (c) 2019 - 2020, Intel Corporation. All rights reserved.
> + SPDX-License-Identifier: BSD-2-Clause-Patent > + > +**/ > + > +#include > +extern "C" { > + #include > + #include > +} > + > +TEST(ConversionTestSuite, TestSafeInt32ToUintn) { > + RETURN_STATUS Status; > + INT32 Operand; > + UINTN Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeInt32ToUintn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-1537977259); > + Status =3D SafeInt32ToUintn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint32ToIntn) { > + RETURN_STATUS Status; > + UINT32 Operand; > + INTN Result; > + > + // > + // If Operand is <=3D MAX_INTN, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeUint32ToIntn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabababab); > + Status =3D SafeUint32ToIntn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToInt32) { > + RETURN_STATUS Status; > + INTN Operand; > + INT32 Result; > + > + // > + // INTN is same as INT32 in IA32, so this is just a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeIntnToInt32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToUint32) { > + RETURN_STATUS Status; > + INTN Operand; > + UINT32 Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeIntnToUint32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT32)0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-1537977259); > + Status =3D SafeIntnToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToUint32) { > + RETURN_STATUS Status; > + UINTN Operand; > + UINT32 Result; > + > + // > + // UINTN is same as UINT32 in IA32, so this is just a cast > + // > + Operand =3D 0xabababab; > + Result =3D 0; > + Status =3D SafeUintnToUint32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabababab, Result); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToIntn) { > + RETURN_STATUS Status; > + UINTN Operand; > + INTN Result; > + > + // > + // If Operand is <=3D MAX_INTN, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeUintnToIntn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabababab); > + Status =3D SafeUintnToIntn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToInt64) { > + RETURN_STATUS Status; > + UINTN Operand; > + INT64 Result; > + > + // > + // UINTN is same as UINT32 in IA32, and UINT32 is a subset of > + // INT64, so this is just a cast > + // > + Operand =3D 0xabababab; > + Result =3D 0; > + Status =3D SafeUintnToInt64 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabababab, Result); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToIntn) { > + RETURN_STATUS Status; > + INT64 Operand; > + INTN Result; > + > + // > + // If Operand is between MIN_INTN and MAX_INTN2 inclusive, then it's > a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeInt64ToIntn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > + > + Operand =3D (-1537977259); > + Status =3D SafeInt64ToIntn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-1537977259), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeInt64ToIntn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToIntn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToUintn) { > + RETURN_STATUS Status; > + INT64 Operand; > + UINTN Result; > + > + // > + // If Operand is between 0 and MAX_UINTN inclusive, then it's a cast > + // > + Operand =3D 0xabababab; > + Result =3D 0; > + Status =3D SafeInt64ToUintn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeInt64ToUintn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToUintn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToIntn) { > + RETURN_STATUS Status; > + UINT64 Operand; > + INTN Result; > + > + // > + // If Operand is <=3D MAX_INTN, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeUint64ToIntn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToIntn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToUintn) { > + RETURN_STATUS Status; > + UINT64 Operand; > + UINTN Result; > + > + // > + // If Operand is <=3D MAX_UINTN, then it's a cast > + // > + Operand =3D 0xabababab; > + Result =3D 0; > + Status =3D SafeUint64ToUintn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToUintn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUintnAdd) { > + RETURN_STATUS Status; > + UINTN Augend; > + UINTN Addend; > + UINTN Result; > + > + // > + // If the result of addition doesn't overflow MAX_UINTN, then it's addition > + // > + Augend =3D 0x3a3a3a3a; > + Addend =3D 0x3a3a3a3a; > + Result =3D 0; > + Status =3D SafeUintnAdd (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x74747474, Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0xabababab; > + Addend =3D 0xbcbcbcbc; > + Status =3D SafeUintnAdd (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeIntnAdd) { > + RETURN_STATUS Status; > + INTN Augend; > + INTN Addend; > + INTN Result; > + > + // > + // If the result of addition doesn't overflow MAX_INTN > + // and doesn't underflow MIN_INTN, then it's addition > + // > + Augend =3D 0x3a3a3a3a; > + Addend =3D 0x3a3a3a3a; > + Result =3D 0; > + Status =3D SafeIntnAdd (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x74747474, Result); > + > + Augend =3D (-976894522); > + Addend =3D (-976894522); > + Status =3D SafeIntnAdd (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-1953789044), Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0x5a5a5a5a; > + Addend =3D 0x5a5a5a5a; > + Status =3D SafeIntnAdd (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Augend =3D (-1515870810); > + Addend =3D (-1515870810); > + Status =3D SafeIntnAdd (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUintnSub) { > + RETURN_STATUS Status; > + UINTN Minuend; > + UINTN Subtrahend; > + UINTN Result; > + > + // > + // If Minuend >=3D Subtrahend, then it's subtraction > + // > + Minuend =3D 0x5a5a5a5a; > + Subtrahend =3D 0x3b3b3b3b; > + Result =3D 0; > + Status =3D SafeUintnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x1f1f1f1f, Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D 0x5a5a5a5a; > + Subtrahend =3D 0x6d6d6d6d; > + Status =3D SafeUintnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeIntnSub) { > + RETURN_STATUS Status; > + INTN Minuend; > + INTN Subtrahend; > + INTN Result; > + > + // > + // If the result of subtractions doesn't overflow MAX_INTN or > + // underflow MIN_INTN, then it's subtraction > + // > + Minuend =3D 0x5a5a5a5a; > + Subtrahend =3D 0x3a3a3a3a; > + Result =3D 0; > + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x20202020, Result); > + > + Minuend =3D 0x3a3a3a3a; > + Subtrahend =3D 0x5a5a5a5a; > + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-538976288), Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D (-2054847098); > + Subtrahend =3D 2054847098; > + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Minuend =3D (2054847098); > + Subtrahend =3D (-2054847098); > + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeUintnMult) { > + RETURN_STATUS Status; > + UINTN Multiplicand; > + UINTN Multiplier; > + UINTN Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_UINTN, it will > succeed > + // > + Multiplicand =3D 0xa122a; > + Multiplier =3D 0xd23; > + Result =3D 0; > + Status =3D SafeUintnMult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x844c9dbe, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0xa122a; > + Multiplier =3D 0xed23; > + Status =3D SafeUintnMult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeIntnMult) { > + RETURN_STATUS Status; > + INTN Multiplicand; > + INTN Multiplier; > + INTN Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_INTN and doesn't > + // underflow MIN_UINTN, it will succeed > + // > + Multiplicand =3D 0x123456; > + Multiplier =3D 0x678; > + Result =3D 0; > + Status =3D SafeIntnMult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x75c28c50, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x123456; > + Multiplier =3D 0xabc; > + Status =3D SafeIntnMult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > diff --git > a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnitT > ests64.cpp > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnitT > ests64.cpp > new file mode 100644 > index 000000000000..6fb0710cfed6 > --- /dev/null > +++ > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnitT > ests64.cpp > @@ -0,0 +1,429 @@ > +/** @file > + x64-specific functions for unit-testing INTN and UINTN functions in > + SafeIntLib. > + > + Copyright (c) Microsoft Corporation.
> + Copyright (c) 2019 - 2020, Intel Corporation. All rights reserved.
> + SPDX-License-Identifier: BSD-2-Clause-Patent > + > +**/ > + > +#include > +extern "C" { > + #include > + #include > +} > + > +TEST(ConversionTestSuite, TestSafeInt32ToUintn) { > + RETURN_STATUS Status; > + INT32 Operand; > + UINTN Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeInt32ToUintn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-1537977259); > + Status =3D SafeInt32ToUintn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint32ToIntn) { > + RETURN_STATUS Status; > + UINT32 Operand; > + INTN Result; > + > + // > + // For x64, INTN is same as INT64 which is a superset of INT32 > + // This is just a cast then, and it'll never fail > + // > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0xabababab; > + Result =3D 0; > + Status =3D SafeUint32ToIntn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabababab, Result); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToInt32) { > + RETURN_STATUS Status; > + INTN Operand; > + INT32 Result; > + > + // > + // If Operand is between MIN_INT32 and MAX_INT32 inclusive, then > it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeIntnToInt32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > + > + Operand =3D (-1537977259); > + Status =3D SafeIntnToInt32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-1537977259), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeIntnToInt32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeIntnToInt32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToUint32) { > + RETURN_STATUS Status; > + INTN Operand; > + UINT32 Result; > + > + // > + // If Operand is between 0 and MAX_UINT32 inclusive, then it's a cast > + // > + Operand =3D 0xabababab; > + Result =3D 0; > + Status =3D SafeIntnToUint32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeIntnToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeIntnToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToUint32) { > + RETURN_STATUS Status; > + UINTN Operand; > + UINT32 Result; > + > + // > + // If Operand is <=3D MAX_UINT32, then it's a cast > + // > + Operand =3D 0xabababab; > + Result =3D 0; > + Status =3D SafeUintnToUint32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUintnToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToIntn) { > + RETURN_STATUS Status; > + UINTN Operand; > + INTN Result; > + > + // > + // If Operand is <=3D MAX_INTN (0x7fff_ffff_ffff_ffff), then it's a ca= st > + // > + Operand =3D 0x5babababefefefef; > + Result =3D 0; > + Status =3D SafeUintnToIntn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5babababefefefef, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUintnToIntn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToInt64) { > + RETURN_STATUS Status; > + UINTN Operand; > + INT64 Result; > + > + // > + // If Operand is <=3D MAX_INT64, then it's a cast > + // > + Operand =3D 0x5babababefefefef; > + Result =3D 0; > + Status =3D SafeUintnToInt64 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5babababefefefef, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUintnToInt64 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToIntn) { > + RETURN_STATUS Status; > + INT64 Operand; > + INTN Result; > + > + // > + // INTN is same as INT64 in x64, so this is just a cast > + // > + Operand =3D 0x5babababefefefef; > + Result =3D 0; > + Status =3D SafeInt64ToIntn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5babababefefefef, Result); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToUintn) { > + RETURN_STATUS Status; > + INT64 Operand; > + UINTN Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5babababefefefef; > + Result =3D 0; > + Status =3D SafeInt64ToUintn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x5babababefefefef, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToUintn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToIntn) { > + RETURN_STATUS Status; > + UINT64 Operand; > + INTN Result; > + > + // > + // If Operand is <=3D MAX_INTN (0x7fff_ffff_ffff_ffff), then it's a ca= st > + // > + Operand =3D 0x5babababefefefef; > + Result =3D 0; > + Status =3D SafeUint64ToIntn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5babababefefefef, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToIntn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToUintn) { > + RETURN_STATUS Status; > + UINT64 Operand; > + UINTN Result; > + > + // > + // UINTN is same as UINT64 in x64, so this is just a cast > + // > + Operand =3D 0xababababefefefef; > + Result =3D 0; > + Status =3D SafeUint64ToUintn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xababababefefefef, Result); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUintnAdd) { > + RETURN_STATUS Status; > + UINTN Augend; > + UINTN Addend; > + UINTN Result; > + > + // > + // If the result of addition doesn't overflow MAX_UINTN, then it's addition > + // > + Augend =3D 0x3a3a3a3a12121212; > + Addend =3D 0x3a3a3a3a12121212; > + Result =3D 0; > + Status =3D SafeUintnAdd (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x7474747424242424, Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0xababababefefefef; > + Addend =3D 0xbcbcbcbcdededede; > + Status =3D SafeUintnAdd (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeIntnAdd) { > + RETURN_STATUS Status; > + INTN Augend; > + INTN Addend; > + INTN Result; > + > + // > + // If the result of addition doesn't overflow MAX_INTN > + // and doesn't underflow MIN_INTN, then it's addition > + // > + Augend =3D 0x3a3a3a3a3a3a3a3a; > + Addend =3D 0x3a3a3a3a3a3a3a3a; > + Result =3D 0; > + Status =3D SafeIntnAdd (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x7474747474747474, Result); > + > + Augend =3D (-4195730024608447034); > + Addend =3D (-4195730024608447034); > + Status =3D SafeIntnAdd (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-8391460049216894068), Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0x5a5a5a5a5a5a5a5a; > + Addend =3D 0x5a5a5a5a5a5a5a5a; > + Status =3D SafeIntnAdd (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Augend =3D (-6510615555426900570); > + Addend =3D (-6510615555426900570); > + Status =3D SafeIntnAdd (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUintnSub) { > + RETURN_STATUS Status; > + UINTN Minuend; > + UINTN Subtrahend; > + UINTN Result; > + > + // > + // If Minuend >=3D Subtrahend, then it's subtraction > + // > + Minuend =3D 0x5a5a5a5a5a5a5a5a; > + Subtrahend =3D 0x3b3b3b3b3b3b3b3b; > + Result =3D 0; > + Status =3D SafeUintnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x1f1f1f1f1f1f1f1f, Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D 0x5a5a5a5a5a5a5a5a; > + Subtrahend =3D 0x6d6d6d6d6d6d6d6d; > + Status =3D SafeUintnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeIntnSub) { > + RETURN_STATUS Status; > + INTN Minuend; > + INTN Subtrahend; > + INTN Result; > + > + // > + // If the result of subtractions doesn't overflow MAX_INTN or > + // underflow MIN_INTN, then it's subtraction > + // > + Minuend =3D 0x5a5a5a5a5a5a5a5a; > + Subtrahend =3D 0x3a3a3a3a3a3a3a3a; > + Result =3D 0; > + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x2020202020202020, Result); > + > + Minuend =3D 0x3a3a3a3a3a3a3a3a; > + Subtrahend =3D 0x5a5a5a5a5a5a5a5a; > + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-2314885530818453536), Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D (-8825501086245354106); > + Subtrahend =3D 8825501086245354106; > + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Minuend =3D (8825501086245354106); > + Subtrahend =3D (-8825501086245354106); > + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeUintnMult) { > + RETURN_STATUS Status; > + UINTN Multiplicand; > + UINTN Multiplier; > + UINTN Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_UINTN, it will > succeed > + // > + Multiplicand =3D 0x123456789a; > + Multiplier =3D 0x1234567; > + Result =3D 0; > + Status =3D SafeUintnMult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x14b66db9745a07f6, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x123456789a; > + Multiplier =3D 0x12345678; > + Status =3D SafeUintnMult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeIntnMult) { > + RETURN_STATUS Status; > + INTN Multiplicand; > + INTN Multiplier; > + INTN Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_INTN and doesn't > + // underflow MIN_UINTN, it will succeed > + // > + Multiplicand =3D 0x123456789; > + Multiplier =3D 0x6789abcd; > + Result =3D 0; > + Status =3D SafeIntnMult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x75cd9045220d6bb5, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x123456789; > + Multiplier =3D 0xa789abcd; > + Status =3D SafeIntnMult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > diff --git > a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/TestBaseSafeIntLib.cpp > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/TestBaseSafeIntLib.cpp > new file mode 100644 > index 000000000000..1fd51067a1f3 > --- /dev/null > +++ > b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/TestBaseSafeIntLib.cpp > @@ -0,0 +1,2274 @@ > +/** @file > + UEFI OS based application for unit testing the SafeIntLib. > + > + Copyright (c) Microsoft Corporation.
> + Copyright (c) 2018 - 2022, Intel Corporation. All rights reserved.
> + SPDX-License-Identifier: BSD-2-Clause-Patent > +**/ > + > +#include > +extern "C" { > + #include > + #include > +} > + > +// > +// Conversion function tests: > +// > +TEST(ConversionTestSuite, TestSafeInt8ToUint8) { > + RETURN_STATUS Status; > + INT8 Operand; > + UINT8 Result; > + > + // > + // Positive UINT8 should result in just a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt8ToUint8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Negative number should result in an error status > + // > + Operand =3D (-56); > + Status =3D SafeInt8ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt8ToUint16) { > + RETURN_STATUS Status; > + INT8 Operand; > + UINT16 Result; > + > + // > + // Positive UINT8 should result in just a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt8ToUint16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Negative number should result in an error status > + // > + Operand =3D (-56); > + Status =3D SafeInt8ToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt8ToUint32) { > + RETURN_STATUS Status; > + INT8 Operand; > + UINT32 Result; > + > + // > + // Positive UINT8 should result in just a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt8ToUint32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT32)0x5b, Result); > + > + // > + // Negative number should result in an error status > + // > + Operand =3D (-56); > + Status =3D SafeInt8ToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt8ToUintn) { > + RETURN_STATUS Status; > + INT8 Operand; > + UINTN Result; > + > + // > + // Positive UINT8 should result in just a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt8ToUintn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x5b, Result); > + > + // > + // Negative number should result in an error status > + // > + Operand =3D (-56); > + Status =3D SafeInt8ToUintn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt8ToUint64) { > + RETURN_STATUS Status; > + INT8 Operand; > + UINT64 Result; > + > + // > + // Positive UINT8 should result in just a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt8ToUint64 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT64)0x5b, Result); > + > + // > + // Negative number should result in an error status > + // > + Operand =3D (-56); > + Status =3D SafeInt8ToUint64 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint8ToInt8) { > + RETURN_STATUS Status; > + UINT8 Operand; > + INT8 Result; > + > + // > + // Operand <=3D 0x7F (MAX_INT8) should result in a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUint8ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Operand larger than 0x7f should result in an error status > + // > + Operand =3D 0xaf; > + Status =3D SafeUint8ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint8ToChar8) { > + RETURN_STATUS Status; > + UINT8 Operand; > + CHAR8 Result; > + > + // > + // CHAR8 is typedefed as char, which by default is signed, thus > + // CHAR8 is same as INT8, so same tests as above: > + // > + > + // > + // Operand <=3D 0x7F (MAX_INT8) should result in a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUint8ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Operand larger than 0x7f should result in an error status > + // > + Operand =3D 0xaf; > + Status =3D SafeUint8ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt16ToInt8) { > + RETURN_STATUS Status; > + INT16 Operand; > + INT8 Result; > + > + // > + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a > cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt16ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + Operand =3D (-35); > + Status =3D SafeInt16ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-35), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D 0x1234; > + Status =3D SafeInt16ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-17835); > + Status =3D SafeInt16ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt16ToChar8) { > + RETURN_STATUS Status; > + INT16 Operand; > + CHAR8 Result; > + > + // > + // CHAR8 is typedefed as char, which may be signed or unsigned based > + // on the compiler. Thus, for compatibility CHAR8 should be between 0 and > MAX_INT8. > + // > + > + // > + // If Operand is between 0 and MAX_INT8 inclusive, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt16ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + Operand =3D 0; > + Result =3D 0; > + Status =3D SafeInt16ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0, Result); > + > + Operand =3D MAX_INT8; > + Result =3D 0; > + Status =3D SafeInt16ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (MAX_INT8, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-35); > + Status =3D SafeInt16ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D 0x1234; > + Status =3D SafeInt16ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-17835); > + Status =3D SafeInt16ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt16ToUint8) { > + RETURN_STATUS Status; > + INT16 Operand; > + UINT8 Result; > + > + // > + // If Operand is between 0 and MAX_INT8 inclusive, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt16ToUint8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D 0x1234; > + Status =3D SafeInt16ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-17835); > + Status =3D SafeInt16ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt16ToUint16) { > + RETURN_STATUS Status; > + INT16 Operand =3D 0x5b5b; > + UINT16 Result =3D 0; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Status =3D SafeInt16ToUint16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-17835); > + Status =3D SafeInt16ToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt16ToUint32) { > + RETURN_STATUS Status; > + INT16 Operand; > + UINT32 Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5b5b; > + Result =3D 0; > + Status =3D SafeInt16ToUint32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT32)0x5b5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-17835); > + Status =3D SafeInt16ToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt16ToUintn) { > + RETURN_STATUS Status; > + INT16 Operand; > + UINTN Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5b5b; > + Result =3D 0; > + Status =3D SafeInt16ToUintn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x5b5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-17835); > + Status =3D SafeInt16ToUintn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt16ToUint64) { > + RETURN_STATUS Status; > + INT16 Operand; > + UINT64 Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5b5b; > + Result =3D 0; > + Status =3D SafeInt16ToUint64 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT64)0x5b5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-17835); > + Status =3D SafeInt16ToUint64 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint16ToInt8) { > + RETURN_STATUS Status; > + UINT16 Operand; > + INT8 Result; > + > + // > + // If Operand is <=3D MAX_INT8, it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUint16ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5b5b); > + Status =3D SafeUint16ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint16ToChar8) { > + RETURN_STATUS Status; > + UINT16 Operand; > + CHAR8 Result; > + > + // CHAR8 is typedefed as char, which by default is signed, thus > + // CHAR8 is same as INT8, so same tests as above: > + > + // > + // If Operand is <=3D MAX_INT8, it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUint16ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5b5b); > + Status =3D SafeUint16ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint16ToUint8) { > + RETURN_STATUS Status; > + UINT16 Operand; > + UINT8 Result; > + > + // > + // If Operand is <=3D MAX_UINT8 (0xff), it's a cast > + // > + Operand =3D 0xab; > + Result =3D 0; > + Status =3D SafeUint16ToUint8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5b5b); > + Status =3D SafeUint16ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint16ToInt16) { > + RETURN_STATUS Status; > + UINT16 Operand; > + INT16 Result; > + > + // > + // If Operand is <=3D MAX_INT16 (0x7fff), it's a cast > + // > + Operand =3D 0x5b5b; > + Result =3D 0; > + Status =3D SafeUint16ToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabab); > + Status =3D SafeUint16ToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt32ToInt8) { > + RETURN_STATUS Status; > + INT32 Operand; > + INT8 Result; > + > + // > + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a > cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt32ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + Operand =3D (-57); > + Status =3D SafeInt32ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-57), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5bababab); > + Status =3D SafeInt32ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeInt32ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt32ToChar8) { > + RETURN_STATUS Status; > + INT32 Operand; > + CHAR8 Result; > + > + // > + // CHAR8 is typedefed as char, which may be signed or unsigned based > + // on the compiler. Thus, for compatibility CHAR8 should be between 0 and > MAX_INT8. > + // > + > + // > + // If Operand is between 0 and MAX_INT8 inclusive, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt32ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + Operand =3D 0; > + Result =3D 0; > + Status =3D SafeInt32ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0, Result); > + > + Operand =3D MAX_INT8; > + Result =3D 0; > + Status =3D SafeInt32ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (MAX_INT8, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-57); > + Status =3D SafeInt32ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (0x5bababab); > + Status =3D SafeInt32ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeInt32ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt32ToUint8) { > + RETURN_STATUS Status; > + INT32 Operand; > + UINT8 Result; > + > + // > + // If Operand is between 0 and MAX_INT8 inclusive, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt32ToUint8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-57); > + Status =3D SafeInt32ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (0x5bababab); > + Status =3D SafeInt32ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeInt32ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt32ToInt16) { > + RETURN_STATUS Status; > + INT32 Operand; > + INT16 Result; > + > + // > + // If Operand is between MIN_INT16 and MAX_INT16 inclusive, then it's = a > cast > + // > + Operand =3D 0x5b5b; > + Result =3D 0; > + Status =3D SafeInt32ToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b5b, Result); > + > + Operand =3D (-17857); > + Status =3D SafeInt32ToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-17857), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5bababab); > + Status =3D SafeInt32ToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeInt32ToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt32ToUint16) { > + RETURN_STATUS Status; > + INT32 Operand; > + UINT16 Result; > + > + // > + // If Operand is between 0 and MAX_UINT16 inclusive, then it's a cast > + // > + Operand =3D 0xabab; > + Result =3D 0; > + Status =3D SafeInt32ToUint16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-17857); > + Status =3D SafeInt32ToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (0x5bababab); > + Status =3D SafeInt32ToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeInt32ToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt32ToUint32) { > + RETURN_STATUS Status; > + INT32 Operand; > + UINT32 Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeInt32ToUint32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT32)0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-1537977259); > + Status =3D SafeInt32ToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt32ToUint64) { > + RETURN_STATUS Status; > + INT32 Operand; > + UINT64 Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeInt32ToUint64 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT64)0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-1537977259); > + Status =3D SafeInt32ToUint64 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint32ToInt8) { > + RETURN_STATUS Status; > + UINT32 Operand; > + INT8 Result; > + > + // > + // If Operand is <=3D MAX_INT8, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUint32ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5bababab); > + Status =3D SafeUint32ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint32ToChar8) { > + RETURN_STATUS Status; > + UINT32 Operand; > + CHAR8 Result; > + > + // CHAR8 is typedefed as char, which by default is signed, thus > + // CHAR8 is same as INT8, so same tests as above: > + > + // > + // If Operand is <=3D MAX_INT8, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUint32ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5bababab); > + Status =3D SafeUint32ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint32ToUint8) { > + RETURN_STATUS Status; > + UINT32 Operand; > + UINT8 Result; > + > + // > + // If Operand is <=3D MAX_UINT8, then it's a cast > + // > + Operand =3D 0xab; > + Result =3D 0; > + Status =3D SafeUint32ToUint8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabababab); > + Status =3D SafeUint32ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint32ToInt16) { > + RETURN_STATUS Status; > + UINT32 Operand; > + INT16 Result; > + > + // > + // If Operand is <=3D MAX_INT16, then it's a cast > + // > + Operand =3D 0x5bab; > + Result =3D 0; > + Status =3D SafeUint32ToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabababab); > + Status =3D SafeUint32ToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint32ToUint16) { > + RETURN_STATUS Status; > + UINT32 Operand; > + UINT16 Result; > + > + // > + // If Operand is <=3D MAX_UINT16, then it's a cast > + // > + Operand =3D 0xabab; > + Result =3D 0; > + Status =3D SafeUint32ToUint16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabababab); > + Status =3D SafeUint32ToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint32ToInt32) { > + RETURN_STATUS Status; > + UINT32 Operand; > + INT32 Result; > + > + // > + // If Operand is <=3D MAX_INT32, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeUint32ToInt32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabababab); > + Status =3D SafeUint32ToInt32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToInt8) { > + RETURN_STATUS Status; > + INTN Operand; > + INT8 Result; > + > + // > + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a > cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeIntnToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + Operand =3D (-53); > + Status =3D SafeIntnToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-53), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5bababab); > + Status =3D SafeIntnToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeIntnToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToChar8) { > + RETURN_STATUS Status; > + INTN Operand; > + CHAR8 Result; > + > + // > + // CHAR8 is typedefed as char, which may be signed or unsigned based > + // on the compiler. Thus, for compatibility CHAR8 should be between 0 and > MAX_INT8. > + // > + > + // > + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a > cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeIntnToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + Operand =3D 0; > + Result =3D 0; > + Status =3D SafeIntnToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0, Result); > + > + Operand =3D MAX_INT8; > + Result =3D 0; > + Status =3D SafeIntnToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (MAX_INT8, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-53); > + Status =3D SafeIntnToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (0x5bababab); > + Status =3D SafeIntnToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeIntnToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToUint8) { > + RETURN_STATUS Status; > + INTN Operand; > + UINT8 Result; > + > + // > + // If Operand is between 0 and MAX_UINT8 inclusive, then it's a cast > + // > + Operand =3D 0xab; > + Result =3D 0; > + Status =3D SafeIntnToUint8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5bababab); > + Status =3D SafeIntnToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeIntnToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToInt16) { > + RETURN_STATUS Status; > + INTN Operand; > + INT16 Result; > + > + // > + // If Operand is between MIN_INT16 and MAX_INT16 inclusive, then it's = a > cast > + // > + Operand =3D 0x5bab; > + Result =3D 0; > + Status =3D SafeIntnToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bab, Result); > + > + Operand =3D (-23467); > + Status =3D SafeIntnToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-23467), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5bababab); > + Status =3D SafeIntnToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeIntnToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToUint16) { > + RETURN_STATUS Status; > + INTN Operand; > + UINT16 Result; > + > + // > + // If Operand is between 0 and MAX_UINT16 inclusive, then it's a cast > + // > + Operand =3D 0xabab; > + Result =3D 0; > + Status =3D SafeIntnToUint16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5bababab); > + Status =3D SafeIntnToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-1537977259); > + Status =3D SafeIntnToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToUintn) { > + RETURN_STATUS Status; > + INTN Operand; > + UINTN Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeIntnToUintn (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINTN)0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-1537977259); > + Status =3D SafeIntnToUintn (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeIntnToUint64) { > + RETURN_STATUS Status; > + INTN Operand; > + UINT64 Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeIntnToUint64 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT64)0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-1537977259); > + Status =3D SafeIntnToUint64 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToInt8) { > + RETURN_STATUS Status; > + UINTN Operand; > + INT8 Result; > + > + // > + // If Operand is <=3D MAX_INT8, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUintnToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabab); > + Status =3D SafeUintnToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToChar8) { > + RETURN_STATUS Status; > + UINTN Operand; > + CHAR8 Result; > + > + // CHAR8 is typedefed as char, which by default is signed, thus > + // CHAR8 is same as INT8, so same tests as above: > + > + // > + // If Operand is <=3D MAX_INT8, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUintnToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabab); > + Status =3D SafeUintnToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToUint8) { > + RETURN_STATUS Status; > + UINTN Operand; > + UINT8 Result; > + > + // > + // If Operand is <=3D MAX_UINT8, then it's a cast > + // > + Operand =3D 0xab; > + Result =3D 0; > + Status =3D SafeUintnToUint8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabab); > + Status =3D SafeUintnToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToInt16) { > + RETURN_STATUS Status; > + UINTN Operand; > + INT16 Result; > + > + // > + // If Operand is <=3D MAX_INT16, then it's a cast > + // > + Operand =3D 0x5bab; > + Result =3D 0; > + Status =3D SafeUintnToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabab); > + Status =3D SafeUintnToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToUint16) { > + RETURN_STATUS Status; > + UINTN Operand; > + UINT16 Result; > + > + // > + // If Operand is <=3D MAX_UINT16, then it's a cast > + // > + Operand =3D 0xabab; > + Result =3D 0; > + Status =3D SafeUintnToUint16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabababab); > + Status =3D SafeUintnToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUintnToInt32) { > + RETURN_STATUS Status; > + UINTN Operand; > + INT32 Result; > + > + // > + // If Operand is <=3D MAX_INT32, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeUintnToInt32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xabababab); > + Status =3D SafeUintnToInt32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToInt8) { > + RETURN_STATUS Status; > + INT64 Operand; > + INT8 Result; > + > + // > + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a > cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt64ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + Operand =3D (-37); > + Status =3D SafeInt64ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-37), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeInt64ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToChar8) { > + RETURN_STATUS Status; > + INT64 Operand; > + CHAR8 Result; > + > + // > + // CHAR8 is typedefed as char, which may be signed or unsigned based > + // on the compiler. Thus, for compatibility CHAR8 should be between 0 and > MAX_INT8. > + // > + > + // > + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a > cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeInt64ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + Operand =3D 0; > + Result =3D 0; > + Status =3D SafeInt64ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0, Result); > + > + Operand =3D MAX_INT8; > + Result =3D 0; > + Status =3D SafeInt64ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (MAX_INT8, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-37); > + Status =3D SafeInt64ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (0x5babababefefefef); > + Status =3D SafeInt64ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToUint8) { > + RETURN_STATUS Status; > + INT64 Operand; > + UINT8 Result; > + > + // > + // If Operand is between 0 and MAX_UINT8 inclusive, then it's a cast > + // > + Operand =3D 0xab; > + Result =3D 0; > + Status =3D SafeInt64ToUint8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeInt64ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToInt16) { > + RETURN_STATUS Status; > + INT64 Operand; > + INT16 Result; > + > + // > + // If Operand is between MIN_INT16 and MAX_INT16 inclusive, then > it's a cast > + // > + Operand =3D 0x5bab; > + Result =3D 0; > + Status =3D SafeInt64ToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bab, Result); > + > + Operand =3D (-23467); > + Status =3D SafeInt64ToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-23467), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeInt64ToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToUint16) { > + RETURN_STATUS Status; > + INT64 Operand; > + UINT16 Result; > + > + // > + // If Operand is between 0 and MAX_UINT16 inclusive, then it's a cast > + // > + Operand =3D 0xabab; > + Result =3D 0; > + Status =3D SafeInt64ToUint16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeInt64ToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToInt32) { > + RETURN_STATUS Status; > + INT64 Operand; > + INT32 Result; > + > + // > + // If Operand is between MIN_INT32 and MAX_INT32 inclusive, then > it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeInt64ToInt32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > + > + Operand =3D (-1537977259); > + Status =3D SafeInt64ToInt32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-1537977259), Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeInt64ToInt32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToInt32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToUint32) { > + RETURN_STATUS Status; > + INT64 Operand; > + UINT32 Result; > + > + // > + // If Operand is between 0 and MAX_UINT32 inclusive, then it's a cast > + // > + Operand =3D 0xabababab; > + Result =3D 0; > + Status =3D SafeInt64ToUint32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0x5babababefefefef); > + Status =3D SafeInt64ToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeInt64ToUint64) { > + RETURN_STATUS Status; > + INT64 Operand; > + UINT64 Result; > + > + // > + // If Operand is non-negative, then it's a cast > + // > + Operand =3D 0x5babababefefefef; > + Result =3D 0; > + Status =3D SafeInt64ToUint64 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT64)0x5babababefefefef, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (-6605562033422200815); > + Status =3D SafeInt64ToUint64 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToInt8) { > + RETURN_STATUS Status; > + UINT64 Operand; > + INT8 Result; > + > + // > + // If Operand is <=3D MAX_INT8, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUint64ToInt8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToInt8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToChar8) { > + RETURN_STATUS Status; > + UINT64 Operand; > + CHAR8 Result; > + > + // CHAR8 is typedefed as char, which by default is signed, thus > + // CHAR8 is same as INT8, so same tests as above: > + > + // > + // If Operand is <=3D MAX_INT8, then it's a cast > + // > + Operand =3D 0x5b; > + Result =3D 0; > + Status =3D SafeUint64ToChar8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5b, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToChar8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToUint8) { > + RETURN_STATUS Status; > + UINT64 Operand; > + UINT8 Result; > + > + // > + // If Operand is <=3D MAX_UINT8, then it's a cast > + // > + Operand =3D 0xab; > + Result =3D 0; > + Status =3D SafeUint64ToUint8 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToUint8 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToInt16) { > + RETURN_STATUS Status; > + UINT64 Operand; > + INT16 Result; > + > + // > + // If Operand is <=3D MAX_INT16, then it's a cast > + // > + Operand =3D 0x5bab; > + Result =3D 0; > + Status =3D SafeUint64ToInt16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToInt16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToUint16) { > + RETURN_STATUS Status; > + UINT64 Operand; > + UINT16 Result; > + > + // > + // If Operand is <=3D MAX_UINT16, then it's a cast > + // > + Operand =3D 0xabab; > + Result =3D 0; > + Status =3D SafeUint64ToUint16 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToUint16 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToInt32) { > + RETURN_STATUS Status; > + UINT64 Operand; > + INT32 Result; > + > + // > + // If Operand is <=3D MAX_INT32, then it's a cast > + // > + Operand =3D 0x5bababab; > + Result =3D 0; > + Status =3D SafeUint64ToInt32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5bababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToInt32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToUint32) { > + RETURN_STATUS Status; > + UINT64 Operand; > + UINT32 Result; > + > + // > + // If Operand is <=3D MAX_UINT32, then it's a cast > + // > + Operand =3D 0xabababab; > + Result =3D 0; > + Status =3D SafeUint64ToUint32 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xabababab, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToUint32 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(ConversionTestSuite, TestSafeUint64ToInt64) { > + RETURN_STATUS Status; > + UINT64 Operand; > + INT64 Result; > + > + // > + // If Operand is <=3D MAX_INT64, then it's a cast > + // > + Operand =3D 0x5babababefefefef; > + Result =3D 0; > + Status =3D SafeUint64ToInt64 (Operand, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x5babababefefefef, Result); > + > + // > + // Otherwise should result in an error status > + // > + Operand =3D (0xababababefefefef); > + Status =3D SafeUint64ToInt64 (Operand, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +// > +// Addition function tests: > +// > +TEST(AdditionSubtractionTestSuite, TestSafeUint8Add) { > + RETURN_STATUS Status; > + UINT8 Augend; > + UINT8 Addend; > + UINT8 Result; > + > + // > + // If the result of addition doesn't overflow MAX_UINT8, then it's addition > + // > + Augend =3D 0x3a; > + Addend =3D 0x3a; > + Result =3D 0; > + Status =3D SafeUint8Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x74, Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0xab; > + Addend =3D 0xbc; > + Status =3D SafeUint8Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUint16Add) { > + RETURN_STATUS Status; > + UINT16 Augend =3D 0x3a3a; > + UINT16 Addend =3D 0x3a3a; > + UINT16 Result =3D 0; > + > + // > + // If the result of addition doesn't overflow MAX_UINT16, then it's > addition > + // > + Status =3D SafeUint16Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x7474, Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0xabab; > + Addend =3D 0xbcbc; > + Status =3D SafeUint16Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUint32Add) { > + RETURN_STATUS Status; > + UINT32 Augend; > + UINT32 Addend; > + UINT32 Result; > + > + // > + // If the result of addition doesn't overflow MAX_UINT32, then it's > addition > + // > + Augend =3D 0x3a3a3a3a; > + Addend =3D 0x3a3a3a3a; > + Result =3D 0; > + Status =3D SafeUint32Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT32)0x74747474, Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0xabababab; > + Addend =3D 0xbcbcbcbc; > + Status =3D SafeUint32Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUint64Add) { > + RETURN_STATUS Status; > + UINT64 Augend; > + UINT64 Addend; > + UINT64 Result; > + > + // > + // If the result of addition doesn't overflow MAX_UINT64, then it's > addition > + // > + Augend =3D 0x3a3a3a3a12121212; > + Addend =3D 0x3a3a3a3a12121212; > + Result =3D 0; > + Status =3D SafeUint64Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT64)0x7474747424242424, Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0xababababefefefef; > + Addend =3D 0xbcbcbcbcdededede; > + Status =3D SafeUint64Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeInt8Add) { > + RETURN_STATUS Status; > + INT8 Augend; > + INT8 Addend; > + INT8 Result; > + > + // > + // If the result of addition doesn't overflow MAX_INT8 > + // and doesn't underflow MIN_INT8, then it's addition > + // > + Augend =3D 0x3a; > + Addend =3D 0x3a; > + Result =3D 0; > + Status =3D SafeInt8Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x74, Result); > + > + Augend =3D (-58); > + Addend =3D (-58); > + Status =3D SafeInt8Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-116), Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0x5a; > + Addend =3D 0x5a; > + Status =3D SafeInt8Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Augend =3D (-90); > + Addend =3D (-90); > + Status =3D SafeInt8Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeInt16Add) { > + RETURN_STATUS Status; > + INT16 Augend; > + INT16 Addend; > + INT16 Result; > + > + // > + // If the result of addition doesn't overflow MAX_INT16 > + // and doesn't underflow MIN_INT16, then it's addition > + // > + Augend =3D 0x3a3a; > + Addend =3D 0x3a3a; > + Result =3D 0; > + Status =3D SafeInt16Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x7474, Result); > + > + Augend =3D (-14906); > + Addend =3D (-14906); > + Status =3D SafeInt16Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-29812), Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0x5a5a; > + Addend =3D 0x5a5a; > + Status =3D SafeInt16Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Augend =3D (-23130); > + Addend =3D (-23130); > + Status =3D SafeInt16Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeInt32Add) { > + RETURN_STATUS Status; > + INT32 Augend; > + INT32 Addend; > + INT32 Result; > + > + // > + // If the result of addition doesn't overflow MAX_INT32 > + // and doesn't underflow MIN_INT32, then it's addition > + // > + Augend =3D 0x3a3a3a3a; > + Addend =3D 0x3a3a3a3a; > + Result =3D 0; > + Status =3D SafeInt32Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x74747474, Result); > + > + Augend =3D (-976894522); > + Addend =3D (-976894522); > + Status =3D SafeInt32Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-1953789044), Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0x5a5a5a5a; > + Addend =3D 0x5a5a5a5a; > + Status =3D SafeInt32Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Augend =3D (-1515870810); > + Addend =3D (-1515870810); > + Status =3D SafeInt32Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeInt64Add) { > + RETURN_STATUS Status; > + INT64 Augend; > + INT64 Addend; > + INT64 Result; > + > + // > + // If the result of addition doesn't overflow MAX_INT64 > + // and doesn't underflow MIN_INT64, then it's addition > + // > + Augend =3D 0x3a3a3a3a3a3a3a3a; > + Addend =3D 0x3a3a3a3a3a3a3a3a; > + Result =3D 0; > + Status =3D SafeInt64Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x7474747474747474, Result); > + > + Augend =3D (-4195730024608447034); > + Addend =3D (-4195730024608447034); > + Status =3D SafeInt64Add (Augend, Addend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-8391460049216894068), Result); > + > + // > + // Otherwise should result in an error status > + // > + Augend =3D 0x5a5a5a5a5a5a5a5a; > + Addend =3D 0x5a5a5a5a5a5a5a5a; > + Status =3D SafeInt64Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Augend =3D (-6510615555426900570); > + Addend =3D (-6510615555426900570); > + Status =3D SafeInt64Add (Augend, Addend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +// > +// Subtraction function tests: > +// > +TEST(AdditionSubtractionTestSuite, TestSafeUint8Sub) { > + RETURN_STATUS Status; > + UINT8 Minuend; > + UINT8 Subtrahend; > + UINT8 Result; > + > + // > + // If Minuend >=3D Subtrahend, then it's subtraction > + // > + Minuend =3D 0x5a; > + Subtrahend =3D 0x3b; > + Result =3D 0; > + Status =3D SafeUint8Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x1f, Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D 0x5a; > + Subtrahend =3D 0x6d; > + Status =3D SafeUint8Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUint16Sub) { > + RETURN_STATUS Status; > + UINT16 Minuend; > + UINT16 Subtrahend; > + UINT16 Result; > + > + // > + // If Minuend >=3D Subtrahend, then it's subtraction > + // > + Minuend =3D 0x5a5a; > + Subtrahend =3D 0x3b3b; > + Result =3D 0; > + Status =3D SafeUint16Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x1f1f, Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D 0x5a5a; > + Subtrahend =3D 0x6d6d; > + Status =3D SafeUint16Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUint32Sub) { > + RETURN_STATUS Status; > + UINT32 Minuend; > + UINT32 Subtrahend; > + UINT32 Result; > + > + // > + // If Minuend >=3D Subtrahend, then it's subtraction > + // > + Minuend =3D 0x5a5a5a5a; > + Subtrahend =3D 0x3b3b3b3b; > + Result =3D 0; > + Status =3D SafeUint32Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT32)0x1f1f1f1f, Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D 0x5a5a5a5a; > + Subtrahend =3D 0x6d6d6d6d; > + Status =3D SafeUint32Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeUint64Sub) { > + RETURN_STATUS Status; > + UINT64 Minuend; > + UINT64 Subtrahend; > + UINT64 Result; > + > + // > + // If Minuend >=3D Subtrahend, then it's subtraction > + // > + Minuend =3D 0x5a5a5a5a5a5a5a5a; > + Subtrahend =3D 0x3b3b3b3b3b3b3b3b; > + Result =3D 0; > + Status =3D SafeUint64Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT64)0x1f1f1f1f1f1f1f1f, Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D 0x5a5a5a5a5a5a5a5a; > + Subtrahend =3D 0x6d6d6d6d6d6d6d6d; > + Status =3D SafeUint64Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeInt8Sub) { > + RETURN_STATUS Status; > + INT8 Minuend; > + INT8 Subtrahend; > + INT8 Result; > + > + // > + // If the result of subtractions doesn't overflow MAX_INT8 or > + // underflow MIN_INT8, then it's subtraction > + // > + Minuend =3D 0x5a; > + Subtrahend =3D 0x3a; > + Result =3D 0; > + Status =3D SafeInt8Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x20, Result); > + > + Minuend =3D 58; > + Subtrahend =3D 78; > + Status =3D SafeInt8Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-20), Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D (-80); > + Subtrahend =3D 80; > + Status =3D SafeInt8Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Minuend =3D (80); > + Subtrahend =3D (-80); > + Status =3D SafeInt8Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeInt16Sub) { > + RETURN_STATUS Status; > + INT16 Minuend; > + INT16 Subtrahend; > + INT16 Result; > + > + // > + // If the result of subtractions doesn't overflow MAX_INT16 or > + // underflow MIN_INT16, then it's subtraction > + // > + Minuend =3D 0x5a5a; > + Subtrahend =3D 0x3a3a; > + Result =3D 0; > + Status =3D SafeInt16Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x2020, Result); > + > + Minuend =3D 0x3a3a; > + Subtrahend =3D 0x5a5a; > + Status =3D SafeInt16Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-8224), Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D (-31354); > + Subtrahend =3D 31354; > + Status =3D SafeInt16Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Minuend =3D (31354); > + Subtrahend =3D (-31354); > + Status =3D SafeInt16Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeInt32Sub) { > + RETURN_STATUS Status; > + INT32 Minuend; > + INT32 Subtrahend; > + INT32 Result; > + > + // > + // If the result of subtractions doesn't overflow MAX_INT32 or > + // underflow MIN_INT32, then it's subtraction > + // > + Minuend =3D 0x5a5a5a5a; > + Subtrahend =3D 0x3a3a3a3a; > + Result =3D 0; > + Status =3D SafeInt32Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x20202020, Result); > + > + Minuend =3D 0x3a3a3a3a; > + Subtrahend =3D 0x5a5a5a5a; > + Status =3D SafeInt32Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-538976288), Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D (-2054847098); > + Subtrahend =3D 2054847098; > + Status =3D SafeInt32Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Minuend =3D (2054847098); > + Subtrahend =3D (-2054847098); > + Status =3D SafeInt32Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(AdditionSubtractionTestSuite, TestSafeInt64Sub) { > + RETURN_STATUS Status; > + INT64 Minuend; > + INT64 Subtrahend; > + INT64 Result; > + > + // > + // If the result of subtractions doesn't overflow MAX_INT64 or > + // underflow MIN_INT64, then it's subtraction > + // > + Minuend =3D 0x5a5a5a5a5a5a5a5a; > + Subtrahend =3D 0x3a3a3a3a3a3a3a3a; > + Result =3D 0; > + Status =3D SafeInt64Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x2020202020202020, Result); > + > + Minuend =3D 0x3a3a3a3a3a3a3a3a; > + Subtrahend =3D 0x5a5a5a5a5a5a5a5a; > + Status =3D SafeInt64Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((-2314885530818453536), Result); > + > + // > + // Otherwise should result in an error status > + // > + Minuend =3D (-8825501086245354106); > + Subtrahend =3D 8825501086245354106; > + Status =3D SafeInt64Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > + > + Minuend =3D (8825501086245354106); > + Subtrahend =3D (-8825501086245354106); > + Status =3D SafeInt64Sub (Minuend, Subtrahend, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +// > +// Multiplication function tests: > +// > +TEST(MultiplicationTestSuite, TestSafeUint8Mult) { > + RETURN_STATUS Status; > + UINT8 Multiplicand; > + UINT8 Multiplier; > + UINT8 Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_UINT8, it will > succeed > + // > + Multiplicand =3D 0x12; > + Multiplier =3D 0xa; > + Result =3D 0; > + Status =3D SafeUint8Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xb4, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x12; > + Multiplier =3D 0x23; > + Status =3D SafeUint8Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeUint16Mult) { > + RETURN_STATUS Status; > + UINT16 Multiplicand; > + UINT16 Multiplier; > + UINT16 Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_UINT16, it wil= l > succeed > + // > + Multiplicand =3D 0x212; > + Multiplier =3D 0x7a; > + Result =3D 0; > + Status =3D SafeUint16Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0xfc94, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x1234; > + Multiplier =3D 0x213; > + Status =3D SafeUint16Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeUint32Mult) { > + RETURN_STATUS Status; > + UINT32 Multiplicand; > + UINT32 Multiplier; > + UINT32 Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_UINT32, it wil= l > succeed > + // > + Multiplicand =3D 0xa122a; > + Multiplier =3D 0xd23; > + Result =3D 0; > + Status =3D SafeUint32Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x844c9dbe, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0xa122a; > + Multiplier =3D 0xed23; > + Status =3D SafeUint32Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeUint64Mult) { > + RETURN_STATUS Status; > + UINT64 Multiplicand; > + UINT64 Multiplier; > + UINT64 Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_UINT64, it wil= l > succeed > + // > + Multiplicand =3D 0x123456789a; > + Multiplier =3D 0x1234567; > + Result =3D 0; > + Status =3D SafeUint64Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ ((UINT64)0x14b66db9745a07f6, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x123456789a; > + Multiplier =3D 0x12345678; > + Status =3D SafeUint64Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeInt8Mult) { > + RETURN_STATUS Status; > + INT8 Multiplicand; > + INT8 Multiplier; > + INT8 Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_INT8 and doesn't > + // underflow MIN_UINT8, it will succeed > + // > + Multiplicand =3D 0x12; > + Multiplier =3D 0x7; > + Result =3D 0; > + Status =3D SafeInt8Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x7e, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x12; > + Multiplier =3D 0xa; > + Status =3D SafeInt8Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeInt16Mult) { > + RETURN_STATUS Status; > + INT16 Multiplicand; > + INT16 Multiplier; > + INT16 Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_INT16 and doesn't > + // underflow MIN_UINT16, it will succeed > + // > + Multiplicand =3D 0x123; > + Multiplier =3D 0x67; > + Result =3D 0; > + Status =3D SafeInt16Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x7515, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x123; > + Multiplier =3D 0xab; > + Status =3D SafeInt16Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeInt32Mult) { > + RETURN_STATUS Status; > + INT32 Multiplicand; > + INT32 Multiplier; > + INT32 Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_INT32 and doesn't > + // underflow MIN_UINT32, it will succeed > + // > + Multiplicand =3D 0x123456; > + Multiplier =3D 0x678; > + Result =3D 0; > + Status =3D SafeInt32Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x75c28c50, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x123456; > + Multiplier =3D 0xabc; > + Status =3D SafeInt32Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +TEST(MultiplicationTestSuite, TestSafeInt64Mult) { > + RETURN_STATUS Status; > + INT64 Multiplicand; > + INT64 Multiplier; > + INT64 Result; > + > + // > + // If the result of multiplication doesn't overflow MAX_INT64 and doesn't > + // underflow MIN_UINT64, it will succeed > + // > + Multiplicand =3D 0x123456789; > + Multiplier =3D 0x6789abcd; > + Result =3D 0; > + Status =3D SafeInt64Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (Status, RETURN_SUCCESS); > + ASSERT_EQ (0x75cd9045220d6bb5, Result); > + > + // > + // Otherwise should result in an error status > + // > + Multiplicand =3D 0x123456789; > + Multiplier =3D 0xa789abcd; > + Status =3D SafeInt64Mult (Multiplicand, Multiplier, &Result); > + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); > +} > + > +int main(int argc, char* argv[]) { > + testing::InitGoogleTest(&argc, argv); > + return RUN_ALL_TESTS(); > +} > diff --git a/MdePkg/Test/MdePkgHostTest.dsc > b/MdePkg/Test/MdePkgHostTest.dsc > index 0cac14f0e557..b8b186dd8b17 100644 > --- a/MdePkg/Test/MdePkgHostTest.dsc > +++ b/MdePkg/Test/MdePkgHostTest.dsc > @@ -28,6 +28,7 @@ [Components] > # > MdePkg/Test/UnitTest/Library/BaseSafeIntLib/TestBaseSafeIntLibHost.inf > MdePkg/Test/UnitTest/Library/BaseLib/BaseLibUnitTestsHost.inf > + > MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib.i > nf >=20 > # > # Build HOST_APPLICATION Libraries > -- > 2.37.1.windows.1 >=20 >=20 >=20 >=20 >=20 >=20 >=20