about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
2025-09-24const validation: better error for maybe-null referencesRalf Jung-0/+2
2025-09-24const-eval: improve and actually test the errors when pointers might be outsi...Ralf Jung-4/+1
2025-09-17Auto merge of #146331 - RalfJung:copy-prov-repeat, r=oli-obkbors-60/+60
2025-09-10Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,tr...Matthias Krüger-1/+10
2025-09-10avoid calling insert_presorted more than onceRalf Jung-10/+16
2025-09-10interpret: copy_provenance: avoid large intermediate buffer for large repeat ...Ralf Jung-60/+54
2025-09-09allow `#[rustc_align_static(N)]` on `static`sFolkert de Vries-1/+10
2025-09-09Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnrbors-5/+7
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-5/+7
2025-09-08const-eval: disable pointer fragment supportRalf Jung-2/+19
2025-08-22interpret/allocation: get_range on ProvenanceMapNia Espera-0/+11
2025-08-17Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obkbors-114/+127
2025-08-04small refactor of `InterpResult`Waffle Lapkin-20/+21
2025-07-30const-eval: full support for pointer fragmentsRalf Jung-114/+127
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-1/+6
2025-07-23Remove useless lifetime parameter.Camille GILLOT-1/+1
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-2/+5
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-1/+1
2025-07-13Rollup merge of #143634 - nia-e:init-and-wildcards, r=RalfJungMatthias Krüger-24/+37
2025-07-10interpret/allocation: expose init + write_wildcards on a rangeNia Espera-24/+37
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-5/+30
2025-07-07compiler: Parse `p-` specs in datalayout string, allow definition of custom d...Edoardo Marangoni-18/+17
2025-07-03Rollup merge of #134006 - klensy:typos, r=nnethercoteJana Dönszelmann-1/+1
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-07-02interpret: move the native call preparation logic into MiriRalf Jung-9/+2
2025-07-01Auto merge of #141875 - nnethercote:ByteSymbol, r=petrochenkovbors-1/+1
2025-06-30Introduce `ByteSymbol`.Nicholas Nethercote-1/+1
2025-06-29rename Pointer::from_addr_invalid to match strict provenance APIRalf Jung-3/+3
2025-06-29give Pointer::into_parts a more scary name and offer a safer alternativeRalf Jung-11/+18
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-54/+122
2025-05-29Rollup merge of #141682 - nia-e:fixup-alloc, r=RalfJungJacob Pratt-1/+1
2025-05-29Rollup merge of #136429 - fmease:gci-fix-def-site-checks, r=BoxyUwUJacob Pratt-22/+0
2025-05-28interpret/allocation: make alloc fn be FnOnceNia Espera-1/+1
2025-05-27Drive-by: Delete dead TyCtxtEnsureOk::const_eval_polyLeón Orell Valerian Liehr-22/+0
2025-05-27Rollup merge of #141582 - RalfJung:cleanup, r=bjorn3Michael Goulet-5/+5
2025-05-26extend allocbytes with associated typeNia Espera-17/+41
2025-05-24ScalarInt: support conversion with signed int types and cmp::OrderingRalf Jung-5/+5
2025-05-05Rename Instance::new to Instance::new_raw and add a note that it is rawMichael Goulet-3/+3
2025-05-02Rollup merge of #140521 - RalfJung:oob-error, r=saethlinMatthias Krüger-5/+3
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-5/+3
2025-04-29Don't FCW assoc consts in patternsBoxy-9/+10
2025-03-15Move codec module back into middleMichael Goulet-15/+13
2025-03-15Fold visit into tyMichael Goulet-2/+1
2025-03-13Auto merge of #137152 - saethlin:bss-const-allocs, r=wesleywiserbors-2/+115
2025-03-12Rollup merge of #137701 - cuviper:sharded-hashtable, r=fmeaseMatthias Krüger-15/+5
2025-03-11miri native_calls: ensure we actually expose *mutable* provenance to the memo...Ralf Jung-0/+5
2025-03-10Convert `ShardedHashMap` to use `hashbrown::HashTable`Josh Stone-15/+5
2025-03-09Rollup merge of #138040 - thaliaarchi:use-prelude-size-of.compiler, r=compile...Matthias Krüger-3/+3
2025-03-07compiler: Use size_of from the prelude instead of importedThalia Archibald-3/+3
2025-03-06Rollup merge of #137920 - RalfJung:provenance-map-emptiness, r=oli-obkMichael Goulet-22/+22