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

crossbeam-epoch release for miri support? #1181

Open
Imberflur opened this issue Feb 20, 2025 · 1 comment
Open

crossbeam-epoch release for miri support? #1181

Imberflur opened this issue Feb 20, 2025 · 1 comment

Comments

@Imberflur
Copy link

It looks like tree borrows doesn't support int2ptr casts and this is now enforced in miri rust-lang/miri#4109.

Since crossbeam-epoch doesn't work with SB right now and the latest release doesn't include int2ptr removal from #796, I can't find any way to run miri with an aliasing model in projects that depend on this. In my case, I believe the dependency is via rayon.

A release of crossbeam-epoch with these changes seems like it would address my issue. Although, I understand it will be breaking change, so I'm not sure how easy this will be.

@taiki-e
Copy link
Member

taiki-e commented Feb 20, 2025

The breaking changes we want to include in the next breaking release have been completed in the master branch with the exception of #946, so we can release crossbeam-epoch 0.10 when #946 is implemented.

(We will probably postpone #871 which is another open braking change proposal as said in #871 (comment).)

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

No branches or pull requests

2 participants