PT-2026-105967 · Crates.Io · Stack Collections
Published
2026-09-22
·
Updated
2026-09-22
None
No severity ratings or metrics are available. When they are, we'll update the corresponding info on the page.
Summary
StackVec::retain committed its new length to self.len only after
its internal loop completed. If the retain predicate or a removed
element's Drop implementation panicked before the loop finished,
unwinding proceeded with self.len still equal to the original,
pre-retain length, leaving either a duplicated or already-destroyed
element inside 0..len. StackVec's own Drop then revisited that
slot, causing a double-drop (and for heap-owning types, a double-free).Impact
Affects
StackVec<T, CAP>::retain for T: Drop types where the
predicate or the removed element's destructor can panic, on builds
with unwinding enabled (panic = "unwind"). no std/panic = "abort"
builds cannot trigger this, since unwinding never occurs.Patch
Fixed in 0.3.3 using an unwind-safe backshift guard, matching the
approach
alloc::vec::Vec::retain uses. Found an issue in the description? Have something to add? Feel free to write us 👾
Related Identifiers
Affected Products
Stack Collections