assert

pavel-kirienko · pavel-kirienko · commit f1eb15729111 · 2026-03-23T16:05:10.000+02:00
diff --git a/libcanard/canard.c b/libcanard/canard.c
@@ -1612,6 +1612,7 @@ static void node_id_occupancy_update(canard_t* const self, const byte_t src)
         (bitmap_test(self->node_id_occupancy_bitmap, src) && (self->node_id != src))) {
         return;
     }
+    CANARD_ASSERT(src <= CANARD_NODE_ID_MAX);
 
     // Update the node-ID occupancy bitmap. We cannot detect departures of an individual node, so in the presence of
     // churn the slots will be eventually exhausted. We mitigate this by applying probabilistic purge once the

Original file line number	Diff line number	Diff line change
`@@ -1612,6 +1612,7 @@ static void node_id_occupancy_update(canard_t* const self, const byte_t src)`
`1612`	`1612`	`(bitmap_test(self->node_id_occupancy_bitmap, src) && (self->node_id != src))) {`
`1613`	`1613`	`return;`
`1614`	`1614`	`}`
	`1615`	`+ CANARD_ASSERT(src <= CANARD_NODE_ID_MAX);`
`1615`	`1616`
`1616`	`1617`	`// Update the node-ID occupancy bitmap. We cannot detect departures of an individual node, so in the presence of`
`1617`	`1618`	`// churn the slots will be eventually exhausted. We mitigate this by applying probabilistic purge once the`