Flexelinting: use local variables to help value tracking

src/fellow_log_iter_out.h

@@ -201,13 +201,18 @@ iter_out_commit(struct iter_out *it)
 static inline void
 iter_out_submit(struct iter_out *it, struct fellow_logbuffer *lbuf)
 {
+	struct fellow_dle *entry;
+	uint16_t nused;
 
 	CHECK_OBJ_NOTNULL(it, ITER_OUT_MAGIC);
 
 	if (it->nused > 0 && it->flics->ffd->phase != FP_FINI) {
 		iter_out_lock(it);
-		fellow_privatelog_submit(it->flics->ffd, lbuf,
-		    it->entry, it->nused);
+		// local variables for flexelint value tracking
+		entry = it->entry;
+		nused = it->nused;
+		assert(nused <= FELLOW_DISK_LOG_BLOCK_ENTRIES);
+		fellow_privatelog_submit(it->flics->ffd, lbuf, entry, nused);
 		it->nused = 0;
 	}