about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir
AgeCommit message (Expand)AuthorLines
2025-07-18Rollup merge of #142673 - oli-obk:uninit-read-mem, r=RalfJungMatthias Krüger-2/+5
2025-07-18Rollup merge of #143293 - folkertdev:naked-function-kcfi, r=compiler-errorsMatthias Krüger-7/+6
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-2/+5
2025-07-16use `codegen_instance_attrs` where an instance is (easily) availableFolkert de Vries-7/+6
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-11Remove support for SwitchInt edge effects in backward dataflow analysesTomasz Miąsko-39/+1
2025-07-10interpret/allocation: expose init + write_wildcards on a rangeNia Espera-24/+37
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-5/+31
2025-07-07compiler: Parse `p-` specs in datalayout string, allow definition of custom d...Edoardo Marangoni-20/+19
2025-07-03Rollup merge of #134006 - klensy:typos, r=nnethercoteJana Dönszelmann-3/+3
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-3/+3
2025-07-02interpret: move the native call preparation logic into MiriRalf Jung-9/+2
2025-07-01Rollup merge of #143262 - dianqk:non_exhaustive, r=oli-obkGuillaume Gomez-0/+2
2025-07-01Auto merge of #141875 - nnethercote:ByteSymbol, r=petrochenkovbors-1/+1
2025-07-01mir: Mark `Statement` and `BasicBlockData` as `#[non_exhaustive]`dianqk-0/+2
2025-06-30Rollup merge of #143140 - RalfJung:ptr-into-parts, r=oli-obkMatthias Krüger-16/+24
2025-06-30Introduce `ByteSymbol`.Nicholas Nethercote-1/+1
2025-06-29mir: Use the `new` method for `BasicBlockData`dianqk-1/+9
2025-06-29mir: Add a `new` method to `statement`dianqk-1/+5
2025-06-29Rollup merge of #143088 - firefighterduck:improve-doc-discr-tag, r=RalfJungMatthias Krüger-9/+9
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-13/+21
2025-06-28fix docs of FakeBorrowKindFlorian Sextl-9/+9
2025-06-28Auto merge of #141759 - 1c3t3a:discriminants-query, r=saethlinbors-1/+10
2025-06-27Insert checks for enum discriminants when debug assertions are enabledBastian Kersting-1/+10
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-54/+122
2025-06-13Unimplement unsized_localsmejrs-7/+0
2025-06-10Rollup merge of #142124 - oli-obk:transmute-cast, r=scottmcmLeón Orell Valerian Liehr-2/+0
2025-06-07Rollup merge of #141558 - Diggsey:db-limit-cgu-name-length, r=matthewjasperJacob Pratt-1/+25
2025-06-06Allow transmute casts in pre-runtime-MIROli Scherer-2/+0
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-1/+1
2025-05-29Structurally normalize types as needed in projection_ty_coreMichael Goulet-36/+42
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-27Rollup merge of #141551 - compiler-errors:hir-lints, r=BoxyUwUTrevor Gross-1/+5
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-26Limit the size of cgu names when using the `-Zhuman-readable-cgu-names` optionDiggory Blake-1/+25
2025-05-26extend allocbytes with associated typeNia Espera-17/+41
2025-05-25hir_body_const_context should take LocalDefIdMichael Goulet-1/+5
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-4/+4
2025-05-03Auto merge of #140464 - oli-obk:successors-mut-perf, r=petrochenkovbors-55/+48
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-04-29Use a closure instead of three chained iteratorsOli Scherer-55/+48
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-30/+219