]> git.lizzy.rs Git - rust.git/commit
Work around pointer aliasing issue in Vec::extend_from_slice, extend_with_element
authorUlrik Sverdrup <bluss@users.noreply.github.com>
Thu, 8 Sep 2016 21:48:08 +0000 (23:48 +0200)
committerUlrik Sverdrup <bluss@users.noreply.github.com>
Fri, 9 Sep 2016 00:38:47 +0000 (02:38 +0200)
commit765700ba7a3743b9af5cb12092ea1293dbe07068
treeb66fd5073367107972f6f1479676d92d201e714e
parenta5dbf8a0f8843c5466c3866cc2a288c0ef7051d2
Work around pointer aliasing issue in Vec::extend_from_slice, extend_with_element

Due to missing noalias annotations for &mut T in general (issue #31681),
in larger programs extend_from_slice and extend_with_element may both
compile very poorly. What is observed is that the .set_len() calls are
not lifted out of the loop, even for `Vec<u8>`.

Use a local length variable for the Vec length instead, and use a scope
guard to write this value back to self.len when the scope ends or on
panic. Then the alias analysis is easy.

This affects extend_from_slice, extend_with_element, the vec![x; n]
macro, Write impls for Vec<u8>, BufWriter, etc (but may / may not
have triggered since inlining can be enough for the compiler to get it right).
src/libcollections/vec.rs