[Tarantool-patches] [PATCH 03/11] vclock: vclock_inc -- add assert() to catch overflow

Cyrill Gorcunov gorcunov at gmail.com
Thu Nov 12 22:51:13 MSK 2020


To make sure we won't access out of bounds in lsn array.

Signed-off-by: Cyrill Gorcunov <gorcunov at gmail.com>
---
 src/lib/vclock/vclock.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/vclock/vclock.h b/src/lib/vclock/vclock.h
index fd4072c94..09521a393 100644
--- a/src/lib/vclock/vclock.h
+++ b/src/lib/vclock/vclock.h
@@ -169,6 +169,7 @@ vclock_get(const struct vclock *vclock, uint32_t replica_id)
 static inline int64_t
 vclock_inc(struct vclock *vclock, uint32_t replica_id)
 {
+	assert(replica_id < VCLOCK_MAX);
 	/* Easier add each time than check. */
 	if (((vclock->map >> replica_id) & 0x01) == 0) {
 		vclock->lsn[replica_id] = 0;
-- 
2.26.2



More information about the Tarantool-patches mailing list