1// Set the length of the vec when the `SetLenOnDrop` value goes out of scope.
2//
3// The idea is: The length field in SetLenOnDrop is a local variable
4// that the optimizer will see does not alias with any stores through the Vec's data
5// pointer. This is a workaround for alias analysis issue #32155
6pub(super) struct SetLenOnDrop<'a> {
7 len: &'a mut usize,
8 local_len: usize,
9}
1011impl<'a> SetLenOnDrop<'a> {
12#[inline]
13pub(super) fn new(len: &'a mut usize) -> Self {
14 SetLenOnDrop { local_len: *len, len }
15 }
1617#[inline]
18pub(super) fn increment_len(&mut self, increment: usize) {
19self.local_len += increment;
20 }
2122#[inline]
23pub(super) fn current_len(&self) -> usize {
24self.local_len
25 }
26}
2728impl Drop for SetLenOnDrop<'_> {
29#[inline]
30fn drop(&mut self) {
31*self.len = self.local_len;
32 }
33}