search

fitzgen / bumpalo

A fast bump allocation arena for Rust
https://docs.rs/bumpalo
Apache License 2.0
1.36k stars 111 forks source link

Fix Vec::push in Miri tests with -Zmiri-tag-raw-pointers #148

Closed overdrivenpotato closed 2 years ago

overdrivenpotato commented 2 years ago

This avoids going through the slice deref, fixing a Miri error. It might be worth porting over the current std::vec implementation, as the current one seems to be old and the error doesn't occur in std::vec anymore. But this is just a quick band-aid fix for this particular error.

fitzgen commented 2 years ago

It might be worth porting over the current std::vec implementation

I certainly don't have the energy for this, but if you do, I'm happy to receive a PR!