summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-7/+13
2022-05-13Rustc changes for permissive provenancecarbotaniuman-7/+13
2022-04-20Rollup merge of #96160 - RalfJung:interpret-debug, r=oli-obkDylan DPC-4/+21
2022-04-19Rollup merge of #96165 - RalfJung:miri-provenance-cleanup, r=oli-obkDylan DPC-37/+36
2022-04-18avoid an unnecessary call to Pointer::into_parts, and caution against into_po...Ralf Jung-3/+2
2022-04-18add method to get absolute address of a pointer (useful only for Miri)Ralf Jung-6/+2
2022-04-18avoid pairing up AllocId and PointerTag, which is redundantRalf Jung-16/+21
2022-04-17ptr_get_alloc_id: don't return an actual PointerRalf Jung-29/+28
2022-04-17interpret: more debug logging for read_scalar and write_scalarRalf Jung-4/+21
2022-04-17add caution to some commentsRalf Jung-1/+1
2022-04-17when writing uninit to an allocation, also clear relocations like other write...Ralf Jung-4/+9
2022-04-11Add new `Deinit` statement kindJakob Degen-0/+5
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-15/+23
2022-04-05interp: pass TyCtxt to Machine methods that do not take InterpCxRalf Jung-5/+6
2022-04-03tweak some function namesRalf Jung-11/+11
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-98/+109
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1
2022-03-22interpret/memory: simplify check_and_deref_ptrRalf Jung-15/+5
2022-03-11Rollup merge of #94827 - RalfJung:offset-from-ub, r=oli-obkDylan DPC-3/+3
2022-03-10adjust offset_from logic: check that both pointers are in-boundsRalf Jung-3/+3
2022-03-09normalization change and rebaseb-naber-0/+3
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-3/+3
2022-02-24Miri fn ptr check: don't use conservative null checkRalf Jung-15/+0
2022-02-21Fix typoest31-1/+1
2022-02-19rustc_const_eval: adopt let else in more placesest31-33/+27
2021-11-13fix ICE on Miri/CTFE copy of half a pointerRalf Jung-7/+6
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+1186