From e21399f3bcbca421e7c856ffd31142141096d5e6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 23 Dec 2024 08:54:34 -0800 Subject: [PATCH] Compiler warning. --- src/aig/miniaig/ndr.h | 3 ++- src/base/abci/abc.c | 6 +++--- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/aig/miniaig/ndr.h b/src/aig/miniaig/ndr.h index 193730636..1d2211f96 100644 --- a/src/aig/miniaig/ndr.h +++ b/src/aig/miniaig/ndr.h @@ -219,7 +219,8 @@ static inline void Ndr_DataPushString( Ndr_Data_t * p, int ObjType, int Type, ch { //word Truth = (word)pFunc; //Ndr_DataPushArray( p, Type, 2, (int *)&Truth ); - Ndr_DataPushArray( p, Type, 2, (int *)&pFunc ); + int nInts = (strlen(pFunc) + 1 + sizeof(int) - 1) / sizeof(int); + Ndr_DataPushArray( p, Type, nInts, (int *)&pFunc ); } else { diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index b79c6a86f..1c9d9f6d5 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -9147,9 +9147,9 @@ usage: Abc_Print( -2, "\t-M : the maximum number of LUTs in the cascade [default = %d]\n", nLutsMax ); Abc_Print( -2, "\t-I : the number of iterations when looking for a solution [default = %d]\n", nIters ); Abc_Print( -2, "\t-S : the random seed used to randimize solutions [default = %d]\n", Seed ); - Abc_Print( -2, "\t-L : the intrinsic LUT delay [default = %f]\n", fDelayLut ); - Abc_Print( -2, "\t-W : the routable wire delay [default = %f]\n", fDelayRoute ); - Abc_Print( -2, "\t-D : the non-routable wire delay [default = %f]\n", fDelayDirect ); + Abc_Print( -2, "\t-L : the intrinsic LUT delay [default = %d]\n", fDelayLut ); + Abc_Print( -2, "\t-W : the routable wire delay [default = %d]\n", fDelayRoute ); + Abc_Print( -2, "\t-D : the non-routable wire delay [default = %d]\n", fDelayDirect ); Abc_Print( -2, "\t-v : toggle verbose printout [default = %s]\n", fVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1;