Skip to content

Conversation

@RalfJung
Copy link

@RalfJung RalfJung commented Aug 4, 2019

"0" is a 32-bit 0, but we need pointer-sized 0s here.

Found by Miri.

@RalfJung
Copy link
Author

RalfJung commented Aug 4, 2019

Closing in favor of #74 which has more explicit types.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant