Nicholas Nethercote 9037ebba0c Improve size assertions. ...

- For any file with four or more size assertions, move them into a
  separate module (as is already done for `hir.rs`).
- Add some more for AST nodes and THIR nodes.
- Put the `hir.rs` ones in alphabetical order.

2022-08-01 09:15:05 +10:00

..

intrinsics

interpret: rename Tag/PointerTag to Prov/Provenance

2022-07-19 15:38:32 -04:00

cast.rs

now we can make scalar_to_ptr a method on Scalar

2022-07-23 10:36:57 -04:00

eval_context.rs

now we can make scalar_to_ptr a method on Scalar

2022-07-23 10:36:57 -04:00

intern.rs

now we can make scalar_to_ptr a method on Scalar

2022-07-23 10:36:57 -04:00

intrinsics.rs

interpret, ptr_offset_from: refactor and test too-far-apart check

2022-07-24 19:35:40 -04:00

machine.rs

remove some provenance-related machine hooks that Miri no longer needs

2022-07-23 10:15:37 -04:00

memory.rs

now we can make scalar_to_ptr a method on Scalar

2022-07-23 10:36:57 -04:00

mod.rs

interpret: refactor projection handling code

2022-07-11 22:50:46 -04:00

operand.rs

Improve size assertions.

2022-08-01 09:15:05 +10:00

operator.rs

interpret: rename Tag/PointerTag to Prov/Provenance

2022-07-19 15:38:32 -04:00

place.rs

Improve size assertions.

2022-08-01 09:15:05 +10:00

projection.rs

Auto merge of #99472 - RalfJung:provenance, r=oli-obk

2022-07-20 16:56:31 +00:00

step.rs

add new rval, pull deref early

2022-07-12 14:26:41 +03:00

terminator.rs

Rollup merge of #99673 - RalfJung:interpret-invalid-dyn, r=oli-obk

2022-07-26 07:14:49 +09:00

traits.rs

incorporate some review feedback

2022-07-20 17:12:07 -04:00

util.rs

Update TypeVisitor paths

2022-07-06 06:41:53 +01:00

validity.rs

now we can make scalar_to_ptr a method on Scalar

2022-07-23 10:36:57 -04:00

visitor.rs

make use of symbolic vtables in interpreter

2022-07-20 17:12:04 -04:00