about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2023-03-21Add a layout argument to `enforce_validity`.Oli Scherer-2/+3
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-2/+2
2023-02-20Minimal changes to make miri workRune Tynan-3/+6
2023-02-20Allow non-`Box` allocations in preparation for aligned const allocations for ...Rune Tynan-3/+7
2023-02-18Rename checked_binop_checks_overflow.Camille GILLOT-4/+5
2023-02-14interpret: rename Pointer::from_addr → from_addr_invalidRalf Jung-1/+1
2023-02-07miri: fix ICE when running out of address spaceRalf Jung-3/+3
2023-01-23Add back Machine::before_terminator(...) methodBryan Garza-0/+6
2023-01-23Replace terminator-based const eval limitBryan Garza-3/+3
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2022-12-15Move alignment failure error reporting to machineOli Scherer-1/+8
2022-12-15Make alignment checks a future incompat lintOli Scherer-1/+3
2022-12-06make retagging work even with 'unstable' placesRalf Jung-2/+14
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-2/+2
2022-10-18Remove allow(rustc::potential_query_instability) in rustc_const_evalCastilloDel-1/+1
2022-09-03Add a Machine hook for inline assemblyBen Kimock-0/+10
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-1/+1
2022-08-29Auto merge of #101167 - matthiaskrgr:rollup-yt3jdmp, r=matthiaskrgrbors-0/+1
2022-08-28CTFE: exposing pointers and calling extern fn doesn't need an RFC, it is just...Ralf Jung-0/+1
2022-08-27interpret: rename relocation → provenanceRalf Jung-1/+1
2022-08-27remove a now-useless machine hookRalf Jung-14/+3
2022-08-26remove enforce_number_init machine hook that Miri no longer needsRalf Jung-8/+0
2022-08-26fix an outdated machine hook nameRalf Jung-5/+5
2022-08-15Rename Machine memory hooks to suggest when they runBen Kimock-3/+3
2022-08-09dont rely on old macro-in-trait-impl bugRalf Jung-12/+0
2022-07-23remove some provenance-related machine hooks that Miri no longer needsRalf Jung-23/+0
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-54/+53
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 23:31:31 +0000