about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir
AgeCommit message (Expand)AuthorLines
2022-04-11Add documentation for the semantics of MIR rvaluesJakob Degen-23/+100
2022-04-11Adjust computation of place types to detect more invalid placesJakob Degen-0/+3
2022-04-11Improve documentation of `Place` and `Operand`Jakob Degen-13/+121
2022-04-11Add new `MutatatingUseContext`s for deinit and `SetDiscriminant`Jakob Degen-2/+6
2022-04-11Document semantics of `Deinit` and `SetDiscriminant` MIR statementsJakob Degen-0/+7
2022-04-11Add new `Deinit` statement kindJakob Degen-0/+11
2022-04-09Auto merge of #95697 - klensy:no-strings, r=petrochenkovbors-2/+1
2022-04-09Rollup merge of #95785 - RalfJung:interpret-size-mismatch, r=oli-obkDylan DPC-16/+46
2022-04-08check_doc_keyword: don't alloc string for emptiness checkklensy-2/+1
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-16/+46
2022-04-07Report opaque type mismatches directly during borrowck of the function instea...Oli Scherer-2/+1
2022-04-05trivial cfg(bootstrap) changesPietro Albini-1/+1
2022-04-02rebase and remove dead codeb-naber-115/+2
2022-04-02try to evaluate in from_opt_const_arg_anon_constb-naber-6/+73
2022-04-02rebase and use ty::Const in patterns againb-naber-1/+1
2022-04-02change thir to use mir::ConstantKind instead of ty::Constb-naber-10/+209
2022-03-31interpret: make isize::MAX the limit for dynamic value sizesRalf Jung-0/+5
2022-03-31Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errorsDylan DPC-3/+3
2022-03-30Auto merge of #95436 - cjgillot:static-mut, r=oli-obkbors-3/+2
2022-03-30Addressed comments by @compiler-errors and @bjorn3Yuri Astrakhan-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-4/+4
2022-03-30Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPCbors-2/+2
2022-03-30Rollup merge of #95461 - nyurik:spelling, r=lcnrDylan DPC-1/+1
2022-03-30Spellchecking compiler codeYuri Astrakhan-1/+1
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1
2022-03-29Remember mutability in `DefKind::Static`.Camille GILLOT-3/+2
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ...Oli Scherer-2/+2
2022-03-27Rollup merge of #95120 - smoelius:backward-switch-int, r=ecstatic-morseDylan DPC-0/+95
2022-03-26Address review commentsSamuel E. Moelius III-0/+95
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-0/+11
2022-03-23Clarify more MIR docsJakob Degen-0/+15
2022-03-23Clarify which kinds of MIR are allowed during which phases.Jakob Degen-17/+39
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-1/+4
2022-03-22fix previous failures and address reviewb-naber-1/+1
2022-03-21stall on on constants that contain infer vars in const_eval_resolveb-naber-0/+8
2022-03-17Rollup merge of #94960 - codehorseman:master, r=oli-obkDylan DPC-1/+1
2022-03-16rustc_error: make ErrorReported impossible to constructmark-2/+2
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-1/+1
2022-03-15Rollup merge of #94958 - est31:pluralize, r=oli-obkMatthias Krüger-1/+1
2022-03-15Support other types of pluralization in pluralize macroest31-1/+1
2022-03-15fix typosDylan DPC-2/+2
2022-03-12Auto merge of #94733 - nnethercote:fix-AdtDef-interning, r=fee1-deadbors-5/+5
2022-03-11Rollup merge of #94827 - RalfJung:offset-from-ub, r=oli-obkDylan DPC-0/+6
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-5/+5
2022-03-10adjust offset_from logic: check that both pointers are in-boundsRalf Jung-0/+6
2022-03-10The `Clone::clone` call is now a `ConstantKind::Val`, not a `ConstantKind::Ty`Scott McMurray-1/+1
2022-03-10mir-opt: Replace clone on primitives with copyScott McMurray-0/+30
2022-03-10Auto merge of #94059 - b-naber:constantkind-val-transformation, r=lcnrbors-1/+29
2022-03-10Auto merge of #94737 - lcnr:pass-stuff-by-value, r=davidtwcobors-7/+13
2022-03-09treat all mir::Constant values as ConstantKind::Valb-naber-1/+29