about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir
AgeCommit message (Expand)AuthorLines
2024-04-23filter required_consts during inliningRalf Jung-3/+2
2024-04-23properly fill a promoted's required_constsRalf Jung-0/+15
2024-04-23Rollup merge of #122598 - Nadrieril:full-derefpats, r=matthewjasperLeón Orell Valerian Liehr-15/+74
2024-04-23Rollup merge of #124220 - RalfJung:interpret-wrong-vtable, r=oli-obkMatthias Krüger-21/+78
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-3/+19
2024-04-22coverage: Detach MC/DC branch spans from regular branch spansZalathar-2/+4
2024-04-21Add `AggregateKind::RawPtr` and enough support to compileScott McMurray-0/+28
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-21/+78
2024-04-20Fix documentation of `BorrowKind::Fake`Nadrieril-3/+3
2024-04-20Add a non-shallow fake borrowNadrieril-16/+70
2024-04-20Rework fake borrow calculationNadrieril-0/+5
2024-04-20Rollup merge of #123409 - ZhuUx:master, r=oli-obkMatthias Krüger-5/+127
2024-04-19Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obkbors-15/+29
2024-04-20coverage. Lowering MC/DC statements to llvm-irzhuyunxing-0/+4
2024-04-19avoid PartialOrd on ScalarIntRalf Jung-1/+13
2024-04-19ScalarInt: add methods to assert being a (u)int of given sizeRalf Jung-5/+5
2024-04-19coverage. Generate Mappings of decisions and conditions for MC/DCzhuyunxing-5/+123
2024-04-18interpret/binary_int_op: avoid dropping to raw ints until we determined the signRalf Jung-10/+12
2024-04-18Fix disabling the export of noop async_drop_in_place_rawDaria Sukhonina-1/+3
2024-04-18Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstriebbors-7/+7
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-7/+7
2024-04-17Use non-exhaustive matches for TyKindDaria Sukhonina-2/+3
2024-04-17Rename `BindingAnnotation` to `BindingMode`Jules Bertholet-5/+4
2024-04-17Rollup merge of #122813 - nnethercote:nicer-quals, r=compiler-errorsMatthias Krüger-1/+1
2024-04-16Add simple async drop glue generationzetanumbers-2/+15
2024-04-16Avoid lots of `hir::HirId{,Map,Set}` qualifiers.Nicholas Nethercote-1/+1
2024-04-16Move size assertions for `mir::syntax` types into the same fileZalathar-2/+1
2024-04-15Rollup merge of #123934 - WaffleLapkin:graph-mini-refactor, r=fmease许杰友 Jieyou Xu (Joe)-20/+8
2024-04-15Use RPITIT for `Successors` and `Predecessors` traitsMaybe Waffle-7/+3
2024-04-14Rename `WithNumEdges` => `NumEdges` and `WithStartNode` => `StartNode`Maybe Waffle-3/+3
2024-04-14Merge `{With,Graph}{Successors,Predecessors}` into `{Successors,Predecessors}`Maybe Waffle-15/+9
2024-04-14Merge `WithNumNodes` into DirectedGraphMaybe Waffle-4/+2
2024-04-10introduce `Mutability::ptr_str`Kalle Wachsmuth-6/+1
2024-04-09Auto merge of #123272 - saethlin:reachable-mono-cleanup, r=cjgillotbors-53/+95
2024-04-08Transforms match into an assignment statementDianQK-0/+6
2024-04-07Only collect mono items from reachable blocksBen Kimock-53/+95
2024-04-06Put checks that detect UB under their own flag below debug_assertionsBen Kimock-5/+3
2024-04-04Rollup merge of #123439 - Zalathar:constants, r=oli-obkMatthias Krüger-8/+0
2024-04-04Auto merge of #123052 - maurer:addr-taken, r=compiler-errorsbors-1/+1
2024-04-03Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmeaseJacob Pratt-7/+7
2024-04-04coverage: Remove useless constantsZalathar-8/+0
2024-04-03Rollup merge of #123419 - petrochenkov:zeroindex, r=compiler-errorsMatthias Krüger-2/+2
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-2/+2
2024-04-03rename `expose_addr` to `expose_provenance`joboet-3/+3
2024-04-03Remove MIR unsafe checkMatthew Jasper-77/+1
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-7/+7
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-3/+3
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-1/+17
2024-04-02Track reason for creating a `ReifyShim`Matthew Maurer-1/+1
2024-03-29Auto merge of #122450 - Urgau:simplify-trim-paths-feature, r=michaelwoeristerbors-2/+6