fctx->state should be read with the lock held.
1559 /*
1560 * Caller must be holding the fctx lock.
1561 */
CID 468796: (#1 of 1): Data race condition (MISSING_LOCK)
1. missing_lock: Accessing fctx->state without holding lock fetchctx.lock.
Elsewhere, fetchctx.state is written to with fetchctx.lock held 2 out of 2 times.
1562 REQUIRE(fctx->state == fetchstate_done);
1563
1564 FCTXTRACE("sendevents");
1565
1566 LOCK(&fctx->lock);
1567
unsigned int new_spillat = 0; /* initialized to silence
* compiler warnings */
- /*
- * Caller must be holding the fctx lock.
- */
+ LOCK(&fctx->lock);
+
REQUIRE(fctx->state == fetchstate_done);
FCTXTRACE("sendevents");
- LOCK(&fctx->lock);
-
/*
* Keep some record of fetch result for logging later (if required).
*/