123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274 |
- /** @file
- UEFI OS based application for unit testing the SafeIntLib.
- Copyright (c) Microsoft Corporation.<BR>
- Copyright (c) 2018 - 2022, Intel Corporation. All rights reserved.<BR>
- SPDX-License-Identifier: BSD-2-Clause-Patent
- **/
- #include <gtest/gtest.h>
- extern "C" {
- #include <Base.h>
- #include <Library/SafeIntLib.h>
- }
- //
- // Conversion function tests:
- //
- TEST(ConversionTestSuite, TestSafeInt8ToUint8) {
- RETURN_STATUS Status;
- INT8 Operand;
- UINT8 Result;
- //
- // Positive UINT8 should result in just a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeInt8ToUint8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Negative number should result in an error status
- //
- Operand = (-56);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt8ToUint16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Negative number should result in an error status
- //
- Operand = (-56);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt8ToUint32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT32)0x5b, Result);
- //
- // Negative number should result in an error status
- //
- Operand = (-56);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt8ToUintn (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINTN)0x5b, Result);
- //
- // Negative number should result in an error status
- //
- Operand = (-56);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt8ToUint64 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT64)0x5b, Result);
- //
- // Negative number should result in an error status
- //
- Operand = (-56);
- Status = SafeInt8ToUint64 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint8ToInt8) {
- RETURN_STATUS Status;
- UINT8 Operand;
- INT8 Result;
- //
- // Operand <= 0x7F (MAX_INT8) should result in a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUint8ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Operand larger than 0x7f should result in an error status
- //
- Operand = 0xaf;
- Status = 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 <= 0x7F (MAX_INT8) should result in a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUint8ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Operand larger than 0x7f should result in an error status
- //
- Operand = 0xaf;
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt16ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- Operand = (-35);
- Status = SafeInt16ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-35), Result);
- //
- // Otherwise should result in an error status
- //
- Operand = 0x1234;
- Status = SafeInt16ToInt8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-17835);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt16ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- Operand = 0;
- Result = 0;
- Status = SafeInt16ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0, Result);
- Operand = MAX_INT8;
- Result = 0;
- Status = SafeInt16ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (MAX_INT8, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-35);
- Status = SafeInt16ToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = 0x1234;
- Status = SafeInt16ToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-17835);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt16ToUint8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = 0x1234;
- Status = SafeInt16ToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-17835);
- Status = SafeInt16ToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeInt16ToUint16) {
- RETURN_STATUS Status;
- INT16 Operand = 0x5b5b;
- UINT16 Result = 0;
- //
- // If Operand is non-negative, then it's a cast
- //
- Status = SafeInt16ToUint16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-17835);
- Status = 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 = 0x5b5b;
- Result = 0;
- Status = SafeInt16ToUint32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT32)0x5b5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-17835);
- Status = 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 = 0x5b5b;
- Result = 0;
- Status = SafeInt16ToUintn (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINTN)0x5b5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-17835);
- Status = 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 = 0x5b5b;
- Result = 0;
- Status = SafeInt16ToUint64 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT64)0x5b5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-17835);
- Status = SafeInt16ToUint64 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint16ToInt8) {
- RETURN_STATUS Status;
- UINT16 Operand;
- INT8 Result;
- //
- // If Operand is <= MAX_INT8, it's a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUint16ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5b5b);
- Status = 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 <= MAX_INT8, it's a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUint16ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5b5b);
- Status = SafeUint16ToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint16ToUint8) {
- RETURN_STATUS Status;
- UINT16 Operand;
- UINT8 Result;
- //
- // If Operand is <= MAX_UINT8 (0xff), it's a cast
- //
- Operand = 0xab;
- Result = 0;
- Status = SafeUint16ToUint8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5b5b);
- Status = SafeUint16ToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint16ToInt16) {
- RETURN_STATUS Status;
- UINT16 Operand;
- INT16 Result;
- //
- // If Operand is <= MAX_INT16 (0x7fff), it's a cast
- //
- Operand = 0x5b5b;
- Result = 0;
- Status = SafeUint16ToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabab);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt32ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- Operand = (-57);
- Status = SafeInt32ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-57), Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5bababab);
- Status = SafeInt32ToInt8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt32ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- Operand = 0;
- Result = 0;
- Status = SafeInt32ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0, Result);
- Operand = MAX_INT8;
- Result = 0;
- Status = SafeInt32ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (MAX_INT8, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-57);
- Status = SafeInt32ToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (0x5bababab);
- Status = SafeInt32ToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt32ToUint8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-57);
- Status = SafeInt32ToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (0x5bababab);
- Status = SafeInt32ToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0x5b5b;
- Result = 0;
- Status = SafeInt32ToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b5b, Result);
- Operand = (-17857);
- Status = SafeInt32ToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-17857), Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5bababab);
- Status = SafeInt32ToInt16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0xabab;
- Result = 0;
- Status = SafeInt32ToUint16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xabab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-17857);
- Status = SafeInt32ToUint16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (0x5bababab);
- Status = SafeInt32ToUint16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0x5bababab;
- Result = 0;
- Status = SafeInt32ToUint32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT32)0x5bababab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-1537977259);
- Status = 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 = 0x5bababab;
- Result = 0;
- Status = SafeInt32ToUint64 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT64)0x5bababab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-1537977259);
- Status = SafeInt32ToUint64 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint32ToInt8) {
- RETURN_STATUS Status;
- UINT32 Operand;
- INT8 Result;
- //
- // If Operand is <= MAX_INT8, then it's a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUint32ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5bababab);
- Status = 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 <= MAX_INT8, then it's a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUint32ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5bababab);
- Status = SafeUint32ToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint32ToUint8) {
- RETURN_STATUS Status;
- UINT32 Operand;
- UINT8 Result;
- //
- // If Operand is <= MAX_UINT8, then it's a cast
- //
- Operand = 0xab;
- Result = 0;
- Status = SafeUint32ToUint8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabababab);
- Status = SafeUint32ToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint32ToInt16) {
- RETURN_STATUS Status;
- UINT32 Operand;
- INT16 Result;
- //
- // If Operand is <= MAX_INT16, then it's a cast
- //
- Operand = 0x5bab;
- Result = 0;
- Status = SafeUint32ToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5bab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabababab);
- Status = SafeUint32ToInt16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint32ToUint16) {
- RETURN_STATUS Status;
- UINT32 Operand;
- UINT16 Result;
- //
- // If Operand is <= MAX_UINT16, then it's a cast
- //
- Operand = 0xabab;
- Result = 0;
- Status = SafeUint32ToUint16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xabab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabababab);
- Status = SafeUint32ToUint16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint32ToInt32) {
- RETURN_STATUS Status;
- UINT32 Operand;
- INT32 Result;
- //
- // If Operand is <= MAX_INT32, then it's a cast
- //
- Operand = 0x5bababab;
- Result = 0;
- Status = SafeUint32ToInt32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5bababab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabababab);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeIntnToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- Operand = (-53);
- Status = SafeIntnToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-53), Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5bababab);
- Status = SafeIntnToInt8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeIntnToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- Operand = 0;
- Result = 0;
- Status = SafeIntnToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0, Result);
- Operand = MAX_INT8;
- Result = 0;
- Status = SafeIntnToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (MAX_INT8, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-53);
- Status = SafeIntnToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (0x5bababab);
- Status = SafeIntnToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0xab;
- Result = 0;
- Status = SafeIntnToUint8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5bababab);
- Status = SafeIntnToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0x5bab;
- Result = 0;
- Status = SafeIntnToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5bab, Result);
- Operand = (-23467);
- Status = SafeIntnToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-23467), Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5bababab);
- Status = SafeIntnToInt16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0xabab;
- Result = 0;
- Status = SafeIntnToUint16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xabab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5bababab);
- Status = SafeIntnToUint16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-1537977259);
- Status = 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 = 0x5bababab;
- Result = 0;
- Status = SafeIntnToUintn (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINTN)0x5bababab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-1537977259);
- Status = 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 = 0x5bababab;
- Result = 0;
- Status = SafeIntnToUint64 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT64)0x5bababab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-1537977259);
- Status = SafeIntnToUint64 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUintnToInt8) {
- RETURN_STATUS Status;
- UINTN Operand;
- INT8 Result;
- //
- // If Operand is <= MAX_INT8, then it's a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUintnToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabab);
- Status = 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 <= MAX_INT8, then it's a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUintnToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabab);
- Status = SafeUintnToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUintnToUint8) {
- RETURN_STATUS Status;
- UINTN Operand;
- UINT8 Result;
- //
- // If Operand is <= MAX_UINT8, then it's a cast
- //
- Operand = 0xab;
- Result = 0;
- Status = SafeUintnToUint8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabab);
- Status = SafeUintnToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUintnToInt16) {
- RETURN_STATUS Status;
- UINTN Operand;
- INT16 Result;
- //
- // If Operand is <= MAX_INT16, then it's a cast
- //
- Operand = 0x5bab;
- Result = 0;
- Status = SafeUintnToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5bab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabab);
- Status = SafeUintnToInt16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUintnToUint16) {
- RETURN_STATUS Status;
- UINTN Operand;
- UINT16 Result;
- //
- // If Operand is <= MAX_UINT16, then it's a cast
- //
- Operand = 0xabab;
- Result = 0;
- Status = SafeUintnToUint16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xabab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabababab);
- Status = SafeUintnToUint16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUintnToInt32) {
- RETURN_STATUS Status;
- UINTN Operand;
- INT32 Result;
- //
- // If Operand is <= MAX_INT32, then it's a cast
- //
- Operand = 0x5bababab;
- Result = 0;
- Status = SafeUintnToInt32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5bababab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xabababab);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt64ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- Operand = (-37);
- Status = SafeInt64ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-37), Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5babababefefefef);
- Status = SafeInt64ToInt8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-6605562033422200815);
- Status = 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 = 0x5b;
- Result = 0;
- Status = SafeInt64ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- Operand = 0;
- Result = 0;
- Status = SafeInt64ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0, Result);
- Operand = MAX_INT8;
- Result = 0;
- Status = SafeInt64ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (MAX_INT8, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-37);
- Status = SafeInt64ToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (0x5babababefefefef);
- Status = SafeInt64ToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-6605562033422200815);
- Status = 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 = 0xab;
- Result = 0;
- Status = SafeInt64ToUint8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5babababefefefef);
- Status = SafeInt64ToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-6605562033422200815);
- Status = 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 = 0x5bab;
- Result = 0;
- Status = SafeInt64ToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5bab, Result);
- Operand = (-23467);
- Status = SafeInt64ToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-23467), Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5babababefefefef);
- Status = SafeInt64ToInt16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-6605562033422200815);
- Status = 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 = 0xabab;
- Result = 0;
- Status = SafeInt64ToUint16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xabab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5babababefefefef);
- Status = SafeInt64ToUint16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-6605562033422200815);
- Status = 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 = 0x5bababab;
- Result = 0;
- Status = SafeInt64ToInt32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5bababab, Result);
- Operand = (-1537977259);
- Status = SafeInt64ToInt32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-1537977259), Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5babababefefefef);
- Status = SafeInt64ToInt32 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-6605562033422200815);
- Status = 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 = 0xabababab;
- Result = 0;
- Status = SafeInt64ToUint32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xabababab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0x5babababefefefef);
- Status = SafeInt64ToUint32 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Operand = (-6605562033422200815);
- Status = 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 = 0x5babababefefefef;
- Result = 0;
- Status = SafeInt64ToUint64 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT64)0x5babababefefefef, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (-6605562033422200815);
- Status = SafeInt64ToUint64 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint64ToInt8) {
- RETURN_STATUS Status;
- UINT64 Operand;
- INT8 Result;
- //
- // If Operand is <= MAX_INT8, then it's a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUint64ToInt8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xababababefefefef);
- Status = 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 <= MAX_INT8, then it's a cast
- //
- Operand = 0x5b;
- Result = 0;
- Status = SafeUint64ToChar8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5b, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xababababefefefef);
- Status = SafeUint64ToChar8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint64ToUint8) {
- RETURN_STATUS Status;
- UINT64 Operand;
- UINT8 Result;
- //
- // If Operand is <= MAX_UINT8, then it's a cast
- //
- Operand = 0xab;
- Result = 0;
- Status = SafeUint64ToUint8 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xababababefefefef);
- Status = SafeUint64ToUint8 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint64ToInt16) {
- RETURN_STATUS Status;
- UINT64 Operand;
- INT16 Result;
- //
- // If Operand is <= MAX_INT16, then it's a cast
- //
- Operand = 0x5bab;
- Result = 0;
- Status = SafeUint64ToInt16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5bab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xababababefefefef);
- Status = SafeUint64ToInt16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint64ToUint16) {
- RETURN_STATUS Status;
- UINT64 Operand;
- UINT16 Result;
- //
- // If Operand is <= MAX_UINT16, then it's a cast
- //
- Operand = 0xabab;
- Result = 0;
- Status = SafeUint64ToUint16 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xabab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xababababefefefef);
- Status = SafeUint64ToUint16 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint64ToInt32) {
- RETURN_STATUS Status;
- UINT64 Operand;
- INT32 Result;
- //
- // If Operand is <= MAX_INT32, then it's a cast
- //
- Operand = 0x5bababab;
- Result = 0;
- Status = SafeUint64ToInt32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5bababab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xababababefefefef);
- Status = SafeUint64ToInt32 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint64ToUint32) {
- RETURN_STATUS Status;
- UINT64 Operand;
- UINT32 Result;
- //
- // If Operand is <= MAX_UINT32, then it's a cast
- //
- Operand = 0xabababab;
- Result = 0;
- Status = SafeUint64ToUint32 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xabababab, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xababababefefefef);
- Status = SafeUint64ToUint32 (Operand, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(ConversionTestSuite, TestSafeUint64ToInt64) {
- RETURN_STATUS Status;
- UINT64 Operand;
- INT64 Result;
- //
- // If Operand is <= MAX_INT64, then it's a cast
- //
- Operand = 0x5babababefefefef;
- Result = 0;
- Status = SafeUint64ToInt64 (Operand, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x5babababefefefef, Result);
- //
- // Otherwise should result in an error status
- //
- Operand = (0xababababefefefef);
- Status = 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 = 0x3a;
- Addend = 0x3a;
- Result = 0;
- Status = SafeUint8Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x74, Result);
- //
- // Otherwise should result in an error status
- //
- Augend = 0xab;
- Addend = 0xbc;
- Status = SafeUint8Add (Augend, Addend, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- }
- TEST(AdditionSubtractionTestSuite, TestSafeUint16Add) {
- RETURN_STATUS Status;
- UINT16 Augend = 0x3a3a;
- UINT16 Addend = 0x3a3a;
- UINT16 Result = 0;
- //
- // If the result of addition doesn't overflow MAX_UINT16, then it's addition
- //
- Status = SafeUint16Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x7474, Result);
- //
- // Otherwise should result in an error status
- //
- Augend = 0xabab;
- Addend = 0xbcbc;
- Status = 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 = 0x3a3a3a3a;
- Addend = 0x3a3a3a3a;
- Result = 0;
- Status = SafeUint32Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT32)0x74747474, Result);
- //
- // Otherwise should result in an error status
- //
- Augend = 0xabababab;
- Addend = 0xbcbcbcbc;
- Status = 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 = 0x3a3a3a3a12121212;
- Addend = 0x3a3a3a3a12121212;
- Result = 0;
- Status = SafeUint64Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT64)0x7474747424242424, Result);
- //
- // Otherwise should result in an error status
- //
- Augend = 0xababababefefefef;
- Addend = 0xbcbcbcbcdededede;
- Status = 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 = 0x3a;
- Addend = 0x3a;
- Result = 0;
- Status = SafeInt8Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x74, Result);
- Augend = (-58);
- Addend = (-58);
- Status = SafeInt8Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-116), Result);
- //
- // Otherwise should result in an error status
- //
- Augend = 0x5a;
- Addend = 0x5a;
- Status = SafeInt8Add (Augend, Addend, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Augend = (-90);
- Addend = (-90);
- Status = 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 = 0x3a3a;
- Addend = 0x3a3a;
- Result = 0;
- Status = SafeInt16Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x7474, Result);
- Augend = (-14906);
- Addend = (-14906);
- Status = SafeInt16Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-29812), Result);
- //
- // Otherwise should result in an error status
- //
- Augend = 0x5a5a;
- Addend = 0x5a5a;
- Status = SafeInt16Add (Augend, Addend, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Augend = (-23130);
- Addend = (-23130);
- Status = 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 = 0x3a3a3a3a;
- Addend = 0x3a3a3a3a;
- Result = 0;
- Status = SafeInt32Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x74747474, Result);
- Augend = (-976894522);
- Addend = (-976894522);
- Status = SafeInt32Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-1953789044), Result);
- //
- // Otherwise should result in an error status
- //
- Augend = 0x5a5a5a5a;
- Addend = 0x5a5a5a5a;
- Status = SafeInt32Add (Augend, Addend, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Augend = (-1515870810);
- Addend = (-1515870810);
- Status = 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 = 0x3a3a3a3a3a3a3a3a;
- Addend = 0x3a3a3a3a3a3a3a3a;
- Result = 0;
- Status = SafeInt64Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x7474747474747474, Result);
- Augend = (-4195730024608447034);
- Addend = (-4195730024608447034);
- Status = SafeInt64Add (Augend, Addend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-8391460049216894068), Result);
- //
- // Otherwise should result in an error status
- //
- Augend = 0x5a5a5a5a5a5a5a5a;
- Addend = 0x5a5a5a5a5a5a5a5a;
- Status = SafeInt64Add (Augend, Addend, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Augend = (-6510615555426900570);
- Addend = (-6510615555426900570);
- Status = 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 >= Subtrahend, then it's subtraction
- //
- Minuend = 0x5a;
- Subtrahend = 0x3b;
- Result = 0;
- Status = SafeUint8Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x1f, Result);
- //
- // Otherwise should result in an error status
- //
- Minuend = 0x5a;
- Subtrahend = 0x6d;
- Status = 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 >= Subtrahend, then it's subtraction
- //
- Minuend = 0x5a5a;
- Subtrahend = 0x3b3b;
- Result = 0;
- Status = SafeUint16Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x1f1f, Result);
- //
- // Otherwise should result in an error status
- //
- Minuend = 0x5a5a;
- Subtrahend = 0x6d6d;
- Status = 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 >= Subtrahend, then it's subtraction
- //
- Minuend = 0x5a5a5a5a;
- Subtrahend = 0x3b3b3b3b;
- Result = 0;
- Status = SafeUint32Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT32)0x1f1f1f1f, Result);
- //
- // Otherwise should result in an error status
- //
- Minuend = 0x5a5a5a5a;
- Subtrahend = 0x6d6d6d6d;
- Status = 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 >= Subtrahend, then it's subtraction
- //
- Minuend = 0x5a5a5a5a5a5a5a5a;
- Subtrahend = 0x3b3b3b3b3b3b3b3b;
- Result = 0;
- Status = SafeUint64Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT64)0x1f1f1f1f1f1f1f1f, Result);
- //
- // Otherwise should result in an error status
- //
- Minuend = 0x5a5a5a5a5a5a5a5a;
- Subtrahend = 0x6d6d6d6d6d6d6d6d;
- Status = 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 = 0x5a;
- Subtrahend = 0x3a;
- Result = 0;
- Status = SafeInt8Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x20, Result);
- Minuend = 58;
- Subtrahend = 78;
- Status = SafeInt8Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-20), Result);
- //
- // Otherwise should result in an error status
- //
- Minuend = (-80);
- Subtrahend = 80;
- Status = SafeInt8Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Minuend = (80);
- Subtrahend = (-80);
- Status = 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 = 0x5a5a;
- Subtrahend = 0x3a3a;
- Result = 0;
- Status = SafeInt16Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x2020, Result);
- Minuend = 0x3a3a;
- Subtrahend = 0x5a5a;
- Status = SafeInt16Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-8224), Result);
- //
- // Otherwise should result in an error status
- //
- Minuend = (-31354);
- Subtrahend = 31354;
- Status = SafeInt16Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Minuend = (31354);
- Subtrahend = (-31354);
- Status = 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 = 0x5a5a5a5a;
- Subtrahend = 0x3a3a3a3a;
- Result = 0;
- Status = SafeInt32Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x20202020, Result);
- Minuend = 0x3a3a3a3a;
- Subtrahend = 0x5a5a5a5a;
- Status = SafeInt32Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-538976288), Result);
- //
- // Otherwise should result in an error status
- //
- Minuend = (-2054847098);
- Subtrahend = 2054847098;
- Status = SafeInt32Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Minuend = (2054847098);
- Subtrahend = (-2054847098);
- Status = 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 = 0x5a5a5a5a5a5a5a5a;
- Subtrahend = 0x3a3a3a3a3a3a3a3a;
- Result = 0;
- Status = SafeInt64Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x2020202020202020, Result);
- Minuend = 0x3a3a3a3a3a3a3a3a;
- Subtrahend = 0x5a5a5a5a5a5a5a5a;
- Status = SafeInt64Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((-2314885530818453536), Result);
- //
- // Otherwise should result in an error status
- //
- Minuend = (-8825501086245354106);
- Subtrahend = 8825501086245354106;
- Status = SafeInt64Sub (Minuend, Subtrahend, &Result);
- ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status);
- Minuend = (8825501086245354106);
- Subtrahend = (-8825501086245354106);
- Status = 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 = 0x12;
- Multiplier = 0xa;
- Result = 0;
- Status = SafeUint8Mult (Multiplicand, Multiplier, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xb4, Result);
- //
- // Otherwise should result in an error status
- //
- Multiplicand = 0x12;
- Multiplier = 0x23;
- Status = 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 will succeed
- //
- Multiplicand = 0x212;
- Multiplier = 0x7a;
- Result = 0;
- Status = SafeUint16Mult (Multiplicand, Multiplier, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0xfc94, Result);
- //
- // Otherwise should result in an error status
- //
- Multiplicand = 0x1234;
- Multiplier = 0x213;
- Status = 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 will succeed
- //
- Multiplicand = 0xa122a;
- Multiplier = 0xd23;
- Result = 0;
- Status = SafeUint32Mult (Multiplicand, Multiplier, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x844c9dbe, Result);
- //
- // Otherwise should result in an error status
- //
- Multiplicand = 0xa122a;
- Multiplier = 0xed23;
- Status = 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 will succeed
- //
- Multiplicand = 0x123456789a;
- Multiplier = 0x1234567;
- Result = 0;
- Status = SafeUint64Mult (Multiplicand, Multiplier, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ ((UINT64)0x14b66db9745a07f6, Result);
- //
- // Otherwise should result in an error status
- //
- Multiplicand = 0x123456789a;
- Multiplier = 0x12345678;
- Status = 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 = 0x12;
- Multiplier = 0x7;
- Result = 0;
- Status = SafeInt8Mult (Multiplicand, Multiplier, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x7e, Result);
- //
- // Otherwise should result in an error status
- //
- Multiplicand = 0x12;
- Multiplier = 0xa;
- Status = 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 = 0x123;
- Multiplier = 0x67;
- Result = 0;
- Status = SafeInt16Mult (Multiplicand, Multiplier, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x7515, Result);
- //
- // Otherwise should result in an error status
- //
- Multiplicand = 0x123;
- Multiplier = 0xab;
- Status = 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 = 0x123456;
- Multiplier = 0x678;
- Result = 0;
- Status = SafeInt32Mult (Multiplicand, Multiplier, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x75c28c50, Result);
- //
- // Otherwise should result in an error status
- //
- Multiplicand = 0x123456;
- Multiplier = 0xabc;
- Status = 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 = 0x123456789;
- Multiplier = 0x6789abcd;
- Result = 0;
- Status = SafeInt64Mult (Multiplicand, Multiplier, &Result);
- ASSERT_EQ (Status, RETURN_SUCCESS);
- ASSERT_EQ (0x75cd9045220d6bb5, Result);
- //
- // Otherwise should result in an error status
- //
- Multiplicand = 0x123456789;
- Multiplier = 0xa789abcd;
- Status = 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();
- }
|