add option to track call IDs

[RalfJung]

No description provided.

[oli-obk]

would be nice if we had a reasonable scheme for testing these things at some point. Maybe we could use the stderr regex replacement schemes to hide the actual ids?

[RalfJung]

Sure, would be nice -- but also I don't think we have ever had trouble with a bug in these tracking flags.

[RalfJung]

I removed the rustup as it actually requires a test change; will do that separately.

Fine to land as-is?

[oli-obk]

@bors r+

[bors]

📌 Commit c379793 has been approved by oli-obk

[bors]

⌛ Testing commit c379793 with merge e7ef64f...

[oli-obk]

Looks fine to me. Do you know if it's possible to detect a protector-caused stacked borrows violation and thus add a suggestion to the diagnostic telling you to add the new flag to your invocation to learn more?

[bors]

☀️ Test successful - checks-travis, status-appveyor
Approved by: oli-obk
Pushing e7ef64f to master...

[RalfJung]

Yes, that is possible. It's this code path:

miri/src/stacked_borrows.rs

Line 290 in e7ef64f

if global.is_active(call) {