CTFE engine refactor#53424

Merged

bors merged 32 commits intorust-lang:masterfrom

RalfJung:miri-refactor

Aug 22, 2018

Commits on Aug 22, 2018

Move some value-and-memory related things out of eval_context
RalfJung
committed
miri/CTFE refactor
RalfJung
committed
generalize truncate and sign_extend to take a Size
RalfJung
committed
remove cur_frame from memory (validation is gone, new validation will not need it)
RalfJung
committed
fix union field access and DST computations and dumping of places
RalfJung
committed
Tweak logging
RalfJung
committed
fix dropping with vtables
RalfJung
committed
fix drop typing; use same machinery for validating (sanity checking) dyn trait ptrs and slices
RalfJung
committed
fix accessing unsized fields
RalfJung
committed
fix dynamically determining size and alignment
RalfJung
committed
try_read_value_from_ptr -> try_read_value_from_mplace
RalfJung
committed
fix using copy_op to transmute
RalfJung
committed
avoid allocating for ZST
RalfJung
committed
fix computing layout when calling virtual fn
RalfJung
committed
finally remove all traces of signs from memory
RalfJung
committed
fix operator handling when using 128bit intrinsics
RalfJung
committed
move validation to its own file
RalfJung
committed
fix formatting nits
RalfJung
committed
test for detecting bad data inside trait objects / slices
RalfJung
committed
optimize validation iterating over the elements of an array
RalfJung
committed
fix UI tests
RalfJung
committed
better error message when using NULL in to_ptr
RalfJung
committed
avoid some redundant alignment checks
RalfJung
committed
optimize sanity check path printing
RalfJung
committed
fix validating fat raw pointers
RalfJung
committed
optimize creating a stack frame
RalfJung
committed
in a Use statement, exploit the fact that type and hence layout are the same for LHS and RHS
RalfJung
committed
also avoid recomputing the layout for unary and binary ops, where possible
RalfJung
committed
fix layout sanity check
RalfJung
committed
fix a comment in validity
RalfJung
committed
fix validating fat pointers to user-defined unsized types
RalfJung
committed
fix error reporting in validation
RalfJung
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

CTFE engine refactor#53424

CTFE engine refactor#53424
bors merged 32 commits intorust-lang:masterfrom
RalfJung:miri-refactor

Commits on Aug 22, 2018

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

miri/CTFE refactor

generalize truncate and sign_extend to take a Size

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

fix union field access and DST computations and dumping of places

Tweak logging

fix dropping with vtables

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

fix accessing unsized fields

fix dynamically determining size and alignment

try_read_value_from_ptr -> try_read_value_from_mplace

fix using copy_op to transmute

avoid allocating for ZST

fix computing layout when calling virtual fn

finally remove all traces of signs from memory

fix operator handling when using 128bit intrinsics

move validation to its own file

fix formatting nits

test for detecting bad data inside trait objects / slices

optimize validation iterating over the elements of an array

fix UI tests

better error message when using NULL in to_ptr

avoid some redundant alignment checks

optimize sanity check path printing

fix validating fat raw pointers

optimize creating a stack frame

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

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

fix layout sanity check

fix a comment in validity

fix validating fat pointers to user-defined unsized types

fix error reporting in validation