about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/error.rs
AgeCommit message (Expand)AuthorLines
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-1/+1
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-0/+2
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-8/+44
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-5/+3
2025-02-25Teach structured errors to display short `Ty`Esteban Küber-4/+4
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-2/+1
2025-02-10compiler: die immediately instead of handling unknown target codegenJubilee Young-4/+0
2025-02-06Clean up trivial traversal/lift impl generator macro calls.Nicholas Nethercote-2/+0
2024-12-31Convert some Into impls into From implsMichael Goulet-3/+3
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-1/+1
2024-12-09fix ICE on type error in promotedRalf Jung-16/+17
2024-12-01fix ICE when promoted has layout size overflowRalf Jung-17/+9
2024-11-18interpret: do not ICE when a promoted fails with OOMRalf Jung-2/+13
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-2/+2
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-25/+36
2024-10-12mark InterpResult as must_useRalf Jung-0/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-55/+184
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-3/+58
2024-09-23Check vtable projections for validity in miriMichael Goulet-4/+8
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-3/+3
2024-09-02chore: Fix typos in 'compiler' (batch 2)Alexander Cyon-3/+3
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-3/+4
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-3/+8
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+5
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-3/+8
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-3/+5
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-0/+2
2024-06-17Remove an unused validation error variantOli Scherer-3/+0
2024-05-23Allow const eval failures if the cause is a type layout issueOli Scherer-0/+3
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-6/+13
2024-05-13interpret: move error macros into error.rsRalf Jung-3/+118
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+1
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-21/+78
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-03-17Print a backtrace in const eval if interruptedBen Kimock-0/+2
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-9/+9
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-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