Skip to content
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

New release? #40

Closed
RalfJung opened this issue Oct 29, 2022 · 3 comments
Closed

New release? #40

RalfJung opened this issue Oct 29, 2022 · 3 comments

Comments

@RalfJung
Copy link

RalfJung commented Oct 29, 2022

#25 (seemingly unintentionally) fixed a possible aliasing rule violation in scopeguard. The aliasing rules are not clear yet, of course, but Miri will show errors for scopeguard before that fix when references in fields of structs are all properly tracked -- something that we are soon going to enable at least for some structs since it is needed to properly reflect all the noalias we emit for LLVM.

It would be great to see a new release of scopeguard, so that people using scopeguard can use Miri on their crates without having to disable some of the checks. :)

@RalfJung
Copy link
Author

RalfJung commented Jul 7, 2023

I do hope to enable full handling of "references passed in structs" in Miri Soon (TM), which will likely cause errors with the currently released scopeguard that are fixed by #25.

@bluss any chance of a release? It's been a while since that MR merged, would be good to get that fix out to users. :)

@Amanieu
Copy link
Collaborator

Amanieu commented Jul 17, 2023

Published v1.2.0.

@Amanieu Amanieu closed this as completed Jul 17, 2023
@RalfJung
Copy link
Author

Thanks a lot. :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants