Skip to content

Conversation

@ZenGround0
Copy link
Contributor

Closes #266. I went with the solution removing clearing array size entirely as this is minutely more efficient.

The isEmpty() check after delete was unreachable because:
1. We pass require(queue.head < c.length) to enter dequeue
2. delete doesn't change array length
3. isEmpty() checks queue.head == c.length, which can never be true

This simplifies the dequeue function by always incrementing head.

Fixes #266

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
@FilOzzy FilOzzy added this to FOC Jan 28, 2026
@github-project-automation github-project-automation bot moved this to 📌 Triage in FOC Jan 28, 2026
@BigLep BigLep added this to the M4.5: GA Fast Follows milestone Jan 30, 2026
@rjan90 rjan90 moved this from 📌 Triage to 🔎 Awaiting review in FOC Jan 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: 🔎 Awaiting review
Status: No status

Development

Successfully merging this pull request may close these issues.

Audit Fix 1: RateChangeQueue clearing behavior

3 participants