summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
2024-03-14Add compiler support for parsing `f16` and `f128`Trevor Gross-1/+21
2024-03-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-1/+11
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-10/+10
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-4/+2
2024-02-29Rollup merge of #121782 - RalfJung:mutable-ref-in-static, r=oli-obkMatthias Krüger-1/+0
2024-02-29allow statics pointing to mutable staticsRalf Jung-1/+0
2024-02-28Auto merge of #121489 - nnethercote:diag-renaming, r=davidtwcobors-8/+8
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-8/+8
2024-02-27Split rustc_type_ir to avoid rustc_ast from depending on itOli Scherer-1/+1
2024-02-16Rollup merge of #121179 - RalfJung:zst-mutable-refs, r=oli-obkGuillaume Gomez-4/+5
2024-02-16allow mutable references in const values when they point to no memoryRalf Jung-4/+5
2024-02-16Auto merge of #120486 - reitermarkus:use-generic-nonzero, r=dtolnaybors-7/+7
2024-02-15Return ConstAllocation from eval_static_initializer query directlyOli Scherer-34/+3
2024-02-15Add new query just for static initializersOli Scherer-26/+10
2024-02-15Replace `NonZero::<_>::new` with `NonZero::new`.Markus Reiter-2/+2
2024-02-15Use generic `NonZero` internally.Markus Reiter-7/+7
2024-02-12Dejargnonize substShoyu Vanilla-9/+9
2024-02-11Rollup merge of #120883 - RalfJung:extern-static-err, r=oli-obkMatthias Krüger-1/+1
2024-02-11Rollup merge of #120882 - RalfJung:set-discriminant, r=compiler-errorsMatthias Krüger-0/+2
2024-02-10detect consts that reference extern staticsRalf Jung-0/+1
2024-02-10validation: descend from consts into staticsRalf Jung-0/+1
2024-02-10interpret: rename ReadExternStatic → ExternStaticRalf Jung-1/+1
2024-02-10interpret/write_discriminant: when encoding niched variant, ensure the stored...Ralf Jung-0/+2
2024-02-05Rollup merge of #116284 - RalfJung:no-nan-match, r=cjgillotMatthias Krüger-2/+2
2024-02-03Use `DiagnosticArgName` in a few more places.Nicholas Nethercote-2/+4
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-7/+4
2024-01-26make matching on NaN a hard errorRalf Jung-2/+2
2024-01-25Auto merge of #119627 - oli-obk:const_prop_lint_n̵o̵n̵sense, r=cjgillotbors-2/+0
2024-01-23const prop nonsense eliminatedOli Scherer-2/+0
2024-01-23Auto merge of #119044 - RalfJung:intern-without-types, r=oli-obkbors-2/+8
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-1/+1
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-2/+8
2024-01-20Auto merge of #119821 - oli-obk:reveal_all_const_evals, r=lcnrbors-2/+2
2024-01-19Always use RevealAll for const eval queriesOli Scherer-2/+2
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-4/+1
2024-01-04Remove unused `struct_error` function.Nicholas Nethercote-15/+6
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+3
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-4/+1
2023-12-15Don't pass lint back out of lint decoratorMichael Goulet-1/+1
2023-12-07also print 'immutable' flagRalf Jung-25/+12
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-30/+109
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-11-19Expand Miri's BorTag GC to a Provenance GCBen Kimock-7/+0
2023-11-16Let Miri see the AllocId for all TyCtxt allocationsBen Kimock-0/+7
2023-10-16Auto merge of #114330 - RalfJung:dagling-ptr-deref, r=oli-obkbors-10/+25
2023-10-16Auto merge of #116724 - RalfJung:alloc-bytes, r=oli-obkbors-13/+5
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-8/+18
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-2/+9
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-2/+0