diff options
| author | drh <> | 2025-02-17 17:33:14 +0000 |
|---|---|---|
| committer | drh <> | 2025-02-17 17:33:14 +0000 |
| commit | ef86b942b9ffbfc2086da7865effea3e7950c7a0 (patch) | |
| tree | 0eac3b56e88b0a79b7055a0627015c21883d7442 /src/bitvec.c | |
| parent | ad5dcff53bfb93d0e2ce8165fc2d63f83edd4c79 (diff) | |
| download | sqlite-ef86b942b9ffbfc2086da7865effea3e7950c7a0.tar.gz sqlite-ef86b942b9ffbfc2086da7865effea3e7950c7a0.zip | |
Code changes that make it easier to prove that no 32-bit integer overflows
happen during memory allocation. No problems fixed; this change is just
to make future maintenance easier.
FossilOrigin-Name: 215650a5a1d55bdbca9c92524804a1a54456a17f42a17e53747b21a6507506f5
Diffstat (limited to 'src/bitvec.c')
| -rw-r--r-- | src/bitvec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bitvec.c b/src/bitvec.c index 13f87d567..32bfade11 100644 --- a/src/bitvec.c +++ b/src/bitvec.c @@ -344,7 +344,7 @@ int sqlite3BitvecBuiltinTest(int sz, int *aOp){ /* Allocate the Bitvec to be tested and a linear array of ** bits to act as the reference */ pBitvec = sqlite3BitvecCreate( sz ); - pV = sqlite3MallocZero( (sz+7)/8 + 1 ); + pV = sqlite3MallocZero( (7+(i64)sz)/8 + 1 ); pTmpSpace = sqlite3_malloc64(BITVEC_SZ); if( pBitvec==0 || pV==0 || pTmpSpace==0 ) goto bitvec_end; |