about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/error.rs
AgeCommit message (Expand)AuthorLines
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-16allow mutable references in const values when they point to no memoryRalf Jung-4/+5
2024-02-15Return ConstAllocation from eval_static_initializer query directlyOli Scherer-2/+2
2024-02-15Add new query just for static initializersOli Scherer-0/+1
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-03Use `DiagnosticArgName` in a few more places.Nicholas Nethercote-2/+4
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-7/+4
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-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-2/+2
2024-01-04Remove unused `struct_error` function.Nicholas Nethercote-9/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-4/+1
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-5/+5
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-3/+12
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-1/+8
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-2/+0
2023-09-30dont call mir.post_mono_checks in codegenRalf Jung-15/+0
2023-09-19move ConstValue into mirRalf Jung-2/+2
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-11/+51
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-1/+1
2023-09-14don't point at const usage site for resolution-time errorsRalf Jung-7/+28
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-4/+23
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-0/+2
2023-09-09give extra context to ABI mismatch errorsRalf Jung-7/+12
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-0/+2
2023-08-08interpret: remove incomplete protection against invalid where clausesRalf Jung-2/+0
2023-08-03Rollup merge of #114372 - RalfJung:const-pointer-as-int, r=oli-obkMatthias Krüger-21/+17
2023-08-03Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726Matthias Krüger-1/+1
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-21/+17
2023-08-02avoid 'miri' when refering to the shared interpreterRalf Jung-1/+1
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-2/+2
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-1/+1
2023-07-25Auto merge of #113393 - compiler-errors:next-solver-unsize-rhs, r=lcnrbors-3/+1
2023-07-25Make everything builtin!Michael Goulet-3/+1
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-2/+6
2023-07-24interpret: support projecting into Place::Local without force_allocationRalf Jung-3/+2
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-0/+1
2023-07-21support non-null pointer niches in CTFEMoulins-1/+0
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-06-01improve debug message by eagerly translatingDeadbeef-13/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-242/+195
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-7/+0
2023-05-17Finish move of query.rsJohn Kåre Alsaker-1/+2