Repository navigation

Miri: avoid tracking current location three times - #72879

Merged

bors merged 7 commits into

rust-lang:masterfrom

RalfJung:miri-tctx-at

Jun 15, 2020

Merged

Miri: avoid tracking current location three times#72879
bors merged 7 commits into
rust-lang:masterfrom
RalfJung:miri-tctx-at

Commits on Jun 12, 2020
- make miri memory TyCtxtAt a TyCtxt
  RalfJung
  committed
  871513d
- make miri InterpCx TyCtxtAt a TyCtxt, and separately remember the root span of the evaluation
  RalfJung
  committed
  dc6ffae
- fix const_prop spans and re-bless tests
  RalfJung
  committed
  0ac6fd0
- avoid computing cur_span all the time
  RalfJung
  committed
  32b01c7
Commits on Jun 13, 2020
- avoid computing precise span for const_eval query
  RalfJung
  committed
  6049650
- run const_eval_raw with root_span
  RalfJung
  committed
  c6512fd
Commits on Jun 14, 2020
- keep root_span and tcx together
  RalfJung
  committed
  2210abe