Skip to content

Handle Prov better #22

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.

Sign up for GitHub

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

Jump to bottom
Closed
ouz-a opened this issue Aug 10, 2023 · 3 comments
Closed

Handle Prov better #22

ouz-a opened this issue Aug 10, 2023 · 3 comments
Assignees
@ericmarkmartin

Comments

@ouz-a
Copy link

ouz-a commented Aug 10, 2023 •
edited by rustbot
Loading

As of right now we cover Prov here by just making it Opaque and that is not very useful, instead we could handle them similar to how we handle DefId and would allow us to call global_alloc helping us to find out a lot of useful stuff.
@ericmarkmartin
Copy link

@rustbot claim

@ericmarkmartin ericmarkmartin mentioned this issue Sep 2, 2023
Merged
bors added a commit to rust-lang-ci/rust that referenced this issue Sep 3, 2023
@bors
Auto merge of rust-lang#115470 - ericmarkmartin:stable-prov, r=oli-obk
7cc5ac2 
add stable provenance

r? `@spastorino`

implements rust-lang/project-stable-mir#22
@ouz-a ouz-a closed this as completed Sep 4, 2023
@oli-obk oli-obk reopened this Sep 4, 2023
@oli-obk
Copy link
Contributor

oli-obk commented Sep 4, 2023

call global_alloc helping us to find out a lot of useful stuff.

We still need this in order to get a SMIR version of GlobalAlloc

RalfJung pushed a commit to RalfJung/miri that referenced this issue Sep 6, 2023
@bors
Auto merge of #115470 - ericmarkmartin:stable-prov, r=oli-obk
96cb59f 
add stable provenance

r? `@spastorino`

implements rust-lang/project-stable-mir#22
@celinval
Copy link
Contributor

I believe rust-lang/rust#118012 covered the missing bit.

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

@ericmarkmartin ericmarkmartin

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@oli-obk @ericmarkmartin @celinval @ouz-a