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

Merged

bors merged 8 commits into

rust-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
c53210c
Address reviewers' comments: replace resolve_thread_local_allocation_id with resolve_maybe_global_alloc, clarify comments.
Vytautas Astrauskas
committed
7e6dbd2
Clarify the comments explaining the purpose of resolve_maybe_global_alloc.
Vytautas Astrauskas
committed
2960a6c
Add function eval_maybe_thread_local_static_const that allows handling thread locals without touching debug info; address other PR comments.
Vytautas Astrauskas
committed
9e46807
Remove now unnecessary resolve_maybe_global_alloc.
Vytautas Astrauskas
committed
738ebcf

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
844eead
Move the explanation why adjust_global_const is called for all constants.
Vytautas Astrauskas
committed
d41f8bf
Move stack access methods in the Machine implementations out of the enforce_ method group.
Vytautas Astrauskas
committed
cbd9222