about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2024-08-14stabilize `is_none_or`Slanterns-1/+0
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-11/+11
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-4/+32
2024-08-12Rollup merge of #128712 - compiler-errors:normalize-borrowck, r=lcnrMatthias Krüger-2/+2
2024-08-12Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxuGuillaume Gomez-7/+11
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; pr...Ralf Jung-1/+1
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-1/+1
2024-08-11Rename normalization functions to rawMichael Goulet-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-7/+11
2024-08-10rustc_const_eval: make LazyLock suggestion translatablePavel Grigorenko-1/+4
2024-08-10rustc_const_eval: make message about "const stable" translatablePavel Grigorenko-2/+4
2024-08-10rustc_const_eval: remove redundant `#[allow(rustc::untranslatable_diagnostic)]`Pavel Grigorenko-2/+0
2024-08-09interpret: make identity upcasts a NOP again to avoid them generating a new r...Ralf Jung-0/+6
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-11/+11
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-6/+5
2024-08-08Normalize struct tail properly in disalignment checkMichael Goulet-1/+1
2024-08-07Disallow enabling features without their implied featuresCaleb Zulawski-7/+1
2024-08-07Hide implicit target features from diagnostics when possibleCaleb Zulawski-3/+10
2024-08-07Auto merge of #128761 - matthiaskrgr:rollup-5p1mlqq, r=matthiaskrgrbors-1230/+1269
2024-08-06Rollup merge of #128720 - y21:issue119620, r=compiler-errorsMatthias Krüger-5/+5
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-4/+26
2024-08-06various cleanups based on reviewRalf Jung-55/+54
2024-08-06make some Frame fields more privateRalf Jung-4/+12
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-1230/+1262
2024-08-06pass the right `ParamEnv` to `might_permit_raw_init_strict`y21-5/+5
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-39/+47
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-78/+129
2024-08-02Rollup merge of #128494 - RalfJung:mir-lazy-lists, r=compiler-errorsMatthias Krüger-1/+1
2024-08-02Rollup merge of #128453 - RalfJung:raw_eq, r=saethlinMatthias Krüger-6/+0
2024-08-01MIR required_consts, mentioned_items: ensure we do not forget to fill these l...Ralf Jung-1/+1
2024-08-01fix the way we detect overflow for inbounds arithmetic (and tweak the error m...Ralf Jung-9/+15
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-23/+7
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-71/+114
2024-07-31raw_eq: using it on bytes with provenance is not UB (outside const-eval)Ralf Jung-6/+0
2024-07-30Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68bors-11/+3
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-79/+119
2024-07-29Reformat `use` declarations.Nicholas Nethercote-177/+130
2024-07-28step cfg(bootstrap)Mark Rousskov-11/+3
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-29/+60
2024-07-27miri: fix offset_from behavior on wildcard pointersRalf Jung-50/+59
2024-07-26Rollup merge of #127950 - nnethercote:rustfmt-skip-on-use-decls, r=cuviperMatthias Krüger-0/+2
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-1/+27
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-19Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obkMatthias Krüger-41/+95
2024-07-19Use `#[rustfmt::skip]` on some `use` groups to prevent reordering.Nicholas Nethercote-0/+2
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-13/+13
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-41/+95
2024-07-16Rollup merge of #126776 - nnethercote:rustfmt-use-pre-cleanups-2, r=cuviperTrevor Gross-1/+0
2024-07-17Avoid comments that describe multiple `use` items.Nicholas Nethercote-1/+0
2024-07-16Auto merge of #127638 - adwinwhite:cache_string, r=oli-obkbors-1/+13