-
Notifications
You must be signed in to change notification settings - Fork 30
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
Rawlink safety #19
Comments
Can you show an example misuse? Ideally a program that Miri fails on |
Sorry, maybe I'm not a correctly named issue. I do not see a problem with using |
I would advise you to look at the commit history of the code you're looking at. I wrote it nearly a decade ago. And there is nobody using it. There has been no on-going development either. I don't think you should be drawing any conclusions about idioms from such code. If the question is just "use I only quickly looked at the |
Thank you for your answer. |
Hi
It looks like Rawlink allows access to one point of memory through mutable and immutable references, which might break Rust aliasing rules. Mb
resolve
andresolve_mut
must be marked asunsafe
or even more suitable to useOption<NonNull>
insteadRawLink
?The text was updated successfully, but these errors were encountered: