Skip to content

Adapt AddRetag for shallow retagging#63306

Merged
bors merged 3 commits intorust-lang:masterfrom
RalfJung:retag
Aug 15, 2019
Merged

Adapt AddRetag for shallow retagging#63306
bors merged 3 commits intorust-lang:masterfrom
RalfJung:retag

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Aug 5, 2019

With rust-lang/miri#872, Miri only retags "bare" references, not those nested in compound types. This adjust Retag statement generation to don't emit retags if they are definitely not a bare reference.

I also expanded the mir-opt test to cover the Retag in the drop shim, which had previously not been tested.

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

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants