Ralf Jung
5cab8ae4a4
miri: make vtable addresses not globally unique
2024-08-06 19:09:31 +02:00
Ralf Jung
a7b80819e9
interpret: add sanity check in dyn upcast to double-check what codegen does
2024-07-18 11:41:10 +02:00
Ralf Jung
3757136d8e
interpret: dyn trait metadata check: equate traits in a proper way
2024-06-11 08:54:49 +02:00
Ralf Jung
d041b7cf30
check for correct trait in size_and_align_of
2024-06-11 08:54:49 +02:00
Ralf Jung
af4d6c74ef
interpret: refactor dyn trait handling
...
We can check that the vtable is for the right trait very early, and then just pass the type around.
2024-06-10 17:28:52 +02:00
Ralf Jung
e8379c9598
interpret: get rid of 'mir lifetime everywhere
2024-05-27 08:25:57 +02:00
Nicholas Nethercote
7a5d814a04
Remove #[macro_use] extern crate tracing from rustc_const_eval.
2024-05-23 18:02:38 +10:00
Ralf Jung
ae7b07f2dc
interpret: rename base_pointer -> root_pointer
...
also in Miri, "base tag" -> "root tag"
2024-04-17 07:35:48 +02:00
Ralf Jung
430c386821
make it more clear which functions create fresh AllocId
2023-09-14 07:27:31 +02:00
Ralf Jung
c78021709a
add is_sized method on Abi and Layout, and use it
2022-11-13 12:23:53 +01:00
Dezhi Wu
b1430fb7ca
Fix a bunch of typo
...
This PR will fix some typos detected by [typos].
I only picked the ones I was sure were spelling errors to fix, mostly in
the comments.
[typos]: https://github.com/crate-ci/typos
2022-08-31 18:24:55 +08:00
Ralf Jung
5e840c5c8c
incorporate some review feedback
2022-07-20 17:12:07 -04:00
Ralf Jung
fe00573324
make use of symbolic vtables in interpreter
2022-07-20 17:12:04 -04:00
Ralf Jung
0ec3269db8
interpret: rename Tag/PointerTag to Prov/Provenance
...
Let's avoid using two different terms for the same thing -- let's just call it "provenance" everywhere.
In Miri, provenance consists of an AllocId and an SbTag (Stacked Borrows tag), which made this even more confusing.
2022-07-19 15:38:32 -04:00
Ralf Jung
d31cbb5150
make AllocRef APIs more consistent
2022-07-02 11:41:16 -04:00
Ralf Jung
47d11a8483
interpret: better control over whether we read data with provenance, and implicit provenance stripping where possible
2022-06-05 10:13:34 -04:00
Michael Goulet
34e05812e0
Fix TyKind lint, make consts no longer fn, etc
2022-05-28 11:38:22 -07:00
Michael Goulet
a056a953f0
Initial fixes on top of type interner commit
2022-05-28 11:38:22 -07:00
Ralf Jung
38004b72bc
interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internal
2022-04-07 16:24:48 -04:00
Ralf Jung
f0ec783bf9
interpret: remove MemoryExtra in favor of giving access to the Machine
2022-04-03 15:28:34 -04:00
Ralf Jung
a421cbbead
interpret: make isize::MAX the limit for dynamic value sizes
2022-03-31 08:57:45 -04:00
Michael Woerister
b7cc99142a
Turn tcx.vtable_allocation() into a query.
2021-10-07 20:03:00 +02:00
Camille GILLOT
c5fc2609f0
Rename rustc_mir to rustc_const_eval.
2021-09-07 20:46:26 +02:00
