Skip to content

Conversation

RalfJung
Copy link
Member

In particular, test what happens when we try to drop something. Cc rust-lang/const-eval#17

r? @oli-obk

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 24, 2019
@@ -6,31 +6,31 @@
use std::sync::atomic::AtomicUsize;
use std::sync::atomic::Ordering;

const BOO: &usize = { //~ ERROR undefined behavior to use this value
const REF_INTERIOR_MUT: &usize = { //~ ERROR undefined behavior to use this value
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You don't like my useless variable names? 🙃

If we'd had the _ name feature back when I wrote the test I'dve used that

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd argue readable names are better even than _ ;)

};

// Make sure we catch executing bad drop functions.
// The actual error is located in `real_drop_in_place` so we can't capture it with the
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you can use error-pattern on the file or whatever that comment tag is called.

But in general I think it would be useful to have //~ LABEL annotations that just check for any sub-span on an error

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

But in general I think it would be useful to have //~ LABEL annotations that just check for any sub-span on an error

That would be a new compiletest feature, right, nothing I can do now?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yea it was just random musings

@RalfJung
Copy link
Member Author

@oli-obk I think I addressed all comments.

@oli-obk
Copy link
Contributor

oli-obk commented Dec 25, 2019

@bors r+

@bors
Copy link
Collaborator

bors commented Dec 25, 2019

📌 Commit 40b8b7c has been approved by oli-obk

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Dec 25, 2019
@bors
Copy link
Collaborator

bors commented Dec 26, 2019

⌛ Testing commit 40b8b7c with merge b13d65a...

bors added a commit that referenced this pull request Dec 26, 2019
test the unleashed Miri

In particular, test what happens when we try to drop something. Cc rust-lang/const-eval#17

r? @oli-obk
@bors
Copy link
Collaborator

bors commented Dec 26, 2019

☀️ Test successful - checks-azure
Approved by: oli-obk
Pushing b13d65a to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 26, 2019
@bors bors merged commit 40b8b7c into rust-lang:master Dec 26, 2019
@RalfJung RalfJung deleted the miri-unleash-tests branch December 26, 2019 12:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. 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.

4 participants