about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2022-07-09Rollup merge of #98980 - RalfJung:const-prop-ice, r=oli-obkDylan DPC-5/+5
2022-07-07make a name less ambiguousRalf Jung-5/+5
2022-07-06interpret: remove LocalValue::Unallocated, add Operand::UninitRalf Jung-8/+11
2022-07-06fix ICE in ConstPropRalf Jung-5/+5
2022-07-05fix type in function nameRalf Jung-2/+2
2022-07-05Rollup merge of #98888 - RalfJung:interpret-checked-bin, r=oli-obkMatthias Krüger-0/+8
2022-07-05adjust dangling-int-ptr error messageRalf Jung-2/+2
2022-07-05always check overflow in CheckedBinOp in CTFERalf Jung-0/+8
2022-06-16interpret: convert_tag_add_extra, init_allocation_extra: allow tagger to rais...Ralf Jung-3/+5
2022-06-05Allow ptr_from_addr_cast to failRalf Jung-5/+6
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-4/+8
2022-05-19interpret/validity: separately control checking numbers for being init and no...Ralf Jung-4/+11
2022-05-13Rustc changes for permissive provenancecarbotaniuman-5/+33
2022-04-18add method to get absolute address of a pointer (useful only for Miri)Ralf Jung-0/+2
2022-04-18avoid pairing up AllocId and PointerTag, which is redundantRalf Jung-7/+19
2022-04-05interp: pass TyCtxt to Machine methods that do not take InterpCxRalf Jung-1/+5
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-25/+20
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-3/+4
2022-01-03Rollup merge of #90102 - nbdd0121:box3, r=jonas-schievinkMatthias Krüger-6/+0
2021-12-20CTFE eval_fn_call: use FnAbi to determine argument skipping and compatibilityRalf Jung-1/+1
2021-12-13Remove `in_band_lifetimes` from `rustc_const_eval`LegionMammal978-2/+2
2021-11-09miri: Detect uninitialized integers and floatsNoah Lev-0/+9
2021-10-20Remove `box_alloc` from `Machine` trait.Gary Guo-6/+0
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+479