-
Notifications
You must be signed in to change notification settings - Fork 109
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Miri error with allocator_api
and Box
-pointer roundtrips
#247
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi, thank you for the great work!
Using the
allocator_api
feature of this crate and nightly, I noticed that Miri does not like this:Miri error:
The exact types of the allocations involved does not matter much, only that
_b
allocates something with an alignment larger thana
.I'm pretty new to Miri, so I'm not quite sure what the issue is exactly. It seems like the combination of the retagging in
Box::into_raw
, the deallocation in of the recreated box, and the layout differences are the essential parts. This is not triggered if theBox
is dropped without the pointer roundtrip, nor withbumpalo::boxed::Box
, nor when usingbump.reset()
instead ofdrop
. It does show up when usingallocator-api2
and itsBox
.The text was updated successfully, but these errors were encountered: