diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-05 15:57:50 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-05 15:57:50 -0800 |
| commit | 01569b8f5f2394c534c3aba7276caf22493fce82 (patch) | |
| tree | 40d52cf2d4d76c1e1e5bf6443c34836627f4e5f9 /src/bool/lucky/luckySwap.c | |
| parent | b632c8496cc48bb8be0851ea2c183f94c201f791 (diff) | |
| download | abc-01569b8f5f2394c534c3aba7276caf22493fce82.tar.gz abc-01569b8f5f2394c534c3aba7276caf22493fce82.tar.bz2 abc-01569b8f5f2394c534c3aba7276caf22493fce82.zip | |
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.
Diffstat (limited to 'src/bool/lucky/luckySwap.c')
| -rw-r--r-- | src/bool/lucky/luckySwap.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/bool/lucky/luckySwap.c b/src/bool/lucky/luckySwap.c index 0b7493d8..bfa58697 100644 --- a/src/bool/lucky/luckySwap.c +++ b/src/bool/lucky/luckySwap.c @@ -115,9 +115,9 @@ void Kit_TruthChangePhase_64bit( word * pInOut, int nVars, int iVar ) SizeOfBlock = sizeof(word)*Step; for ( i = 0; i < nWords; i += 2*Step ) { - memcpy(Temp,pInOut,SizeOfBlock); - memcpy(pInOut,pInOut+Step,SizeOfBlock); - memcpy(pInOut+Step,Temp,SizeOfBlock); + memcpy(Temp,pInOut,(size_t)SizeOfBlock); + memcpy(pInOut,pInOut+Step,(size_t)SizeOfBlock); + memcpy(pInOut+Step,Temp,(size_t)SizeOfBlock); // Temp = pInOut[i]; // pInOut[i] = pInOut[Step+i]; // pInOut[Step+i] = Temp; @@ -165,9 +165,9 @@ void Kit_TruthSwapAdjacentVars_64bit( word * pInOut, int nVars, int iVar ) pInOut += 2*Step; for(i=2*Step; i<nWords; i+=4*Step) { - memcpy(temp,pInOut-Step,SizeOfBlock); - memcpy(pInOut-Step,pInOut,SizeOfBlock); - memcpy(pInOut,temp,SizeOfBlock); + memcpy(temp,pInOut-Step,(size_t)SizeOfBlock); + memcpy(pInOut-Step,pInOut,(size_t)SizeOfBlock); + memcpy(pInOut,temp,(size_t)SizeOfBlock); pInOut += 4*Step; } } |