Code

CTFE engine refactor#53424

Code

Merged

bors merged 32 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-refactorRalfJung/rust:miri-refactorCopy head branch name to clipboard

Aug 22, 2018

Commits

Commits on Aug 22, 2018

• Move some value-and-memory related things out of eval_context

  RalfJung

  committed
  7d4f5f7

  Copy full SHA for 7d4f5f7

• miri/CTFE refactor

  Show description for ad2de8b
  RalfJung

  committed
  ad2de8b

  Copy full SHA for ad2de8b

• generalize truncate and sign_extend to take a Size

  RalfJung

  committed
  7483ea8

  Copy full SHA for 7483ea8

• remove cur_frame from memory (validation is gone, new validation will not need it)

  RalfJung

  committed
  689c711

  Copy full SHA for 689c711

• fix union field access and DST computations and dumping of places

  RalfJung

  committed
  0807ad1

  Copy full SHA for 0807ad1

• Tweak logging

  Show description for e860ab2
  RalfJung

  committed
  e860ab2

  Copy full SHA for e860ab2

• fix dropping with vtables

  RalfJung

  committed
  09b15e9

  Copy full SHA for 09b15e9

• fix drop typing; use same machinery for validating (sanity checking) dyn trait ptrs and slices

  RalfJung

  committed
  1e137a7

  Copy full SHA for 1e137a7

• fix accessing unsized fields

  RalfJung

  committed
  e314a4e

  Copy full SHA for e314a4e

• fix dynamically determining size and alignment

  RalfJung

  committed
  61e7ba1

  Copy full SHA for 61e7ba1

• try_read_value_from_ptr -> try_read_value_from_mplace

  RalfJung

  committed
  23d86b0

  Copy full SHA for 23d86b0

• fix using copy_op to transmute

  RalfJung

  committed
  ad009ae

  Copy full SHA for ad009ae

• avoid allocating for ZST

  RalfJung

  committed
  730098b

  Copy full SHA for 730098b

• fix computing layout when calling virtual fn

  RalfJung

  committed
  b1df2ae

  Copy full SHA for b1df2ae

• finally remove all traces of signs from memory

  RalfJung

  committed
  aa760a5

  Copy full SHA for aa760a5

• fix operator handling when using 128bit intrinsics

  RalfJung

  committed
  f2aeb5b

  Copy full SHA for f2aeb5b

• move validation to its own file

  RalfJung

  committed
  5099933

  Copy full SHA for 5099933

• fix formatting nits

  RalfJung

  committed
  ad8deba

  Copy full SHA for ad8deba

• test for detecting bad data inside trait objects / slices

  RalfJung

  committed
  6f5cf12

  Copy full SHA for 6f5cf12

• optimize validation iterating over the elements of an array

  Show description for 956b51f
  RalfJung

  committed
  956b51f

  Copy full SHA for 956b51f

• fix UI tests

  RalfJung

  committed
  0b8c691

  Copy full SHA for 0b8c691

• better error message when using NULL in to_ptr

  RalfJung

  committed
  e3b4f8e

  Copy full SHA for e3b4f8e

• avoid some redundant alignment checks

  RalfJung

  committed
  42a1239

  Copy full SHA for 42a1239

• optimize sanity check path printing

  Show description for 49999e9
  RalfJung

  committed
  49999e9

  Copy full SHA for 49999e9

• fix validating fat raw pointers

  RalfJung

  committed
  c3d392f

  Copy full SHA for c3d392f

• optimize creating a stack frame

  RalfJung

  committed
  8ad4047

  Copy full SHA for 8ad4047

• in a Use statement, exploit the fact that type and hence layout are the same for LHS and RHS

  RalfJung

  committed
  54c81ac

  Copy full SHA for 54c81ac

• also avoid recomputing the layout for unary and binary ops, where possible

  RalfJung

  committed
  128c634

  Copy full SHA for 128c634

• fix layout sanity check

  RalfJung

  committed
  f3e7efc

  Copy full SHA for f3e7efc

• fix a comment in validity

  RalfJung

  committed
  14dc780

  Copy full SHA for 14dc780

• fix validating fat pointers to user-defined unsized types

  RalfJung

  committed
  899bc14

  Copy full SHA for 899bc14

• fix error reporting in validation

  RalfJung

  committed
  4fec615

  Copy full SHA for 4fec615