Make the necessary changes to support concurrency in Miri.#70598

Merged

bors merged 8 commits intorust-lang:masterfrom

vakaras:add-threads-cr3

Apr 20, 2020

Commits on Apr 15, 2020

Make the necessary changes to support concurrency in Miri.
Vytautas Astrauskas
committed
Address reviewers' comments: replace resolve_thread_local_allocation_id with resolve_maybe_global_alloc, clarify comments.
Vytautas Astrauskas
committed
Clarify the comments explaining the purpose of resolve_maybe_global_alloc.
Vytautas Astrauskas
committed
Add function eval_maybe_thread_local_static_const that allows handling thread locals without touching debug info; address other PR comments.
Vytautas Astrauskas
committed
Remove now unnecessary resolve_maybe_global_alloc.
Vytautas Astrauskas
committed

Commits on Apr 16, 2020

Rename Machine::eval_maybe_thread_local_static_const to adjust_global_const and add an additional comment.
Vytautas Astrauskas
committed
Move the explanation why adjust_global_const is called for all constants.
Vytautas Astrauskas
committed
Move stack access methods in the Machine implementations out of the enforce_ method group.
Vytautas Astrauskas
committed