-
-
Notifications
You must be signed in to change notification settings - Fork 3k
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
Undefined behavior in servo_arc HeaderSlice #26357
Labels
I-safety
Some piece of code violates memory safety guarantees.
Comments
Repro by running:
inside the servo_arc directory. |
miri has at least one other issue with this block of code that can be repro'd the same way. |
Yeah, |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
HeaderSlice
constructs and dereferences invalid pointers created from non-pointer integers infrom_header_and_iter_alloc
.Here's what miri has to say about it:
The text was updated successfully, but these errors were encountered: