about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/errors.rs
AgeCommit message (Expand)AuthorLines
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-6/+10
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-0/+8
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-1/+5
2025-06-29rename Pointer::from_addr_invalid to match strict provenance APIRalf Jung-1/+1
2025-06-27const checks: avoid 'top-level scope' terminologyRalf Jung-6/+7
2025-06-26clarify and unify 'transient mutable borrow' errorsRalf Jung-13/+4
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-12/+2
2025-06-25Rollup merge of #142724 - xizheyin:avoid_overwrite_args, r=oli-obkJana Dönszelmann-0/+3
2025-06-25Add runtime check to avoid overwrite arg easily in diag and store and restore...xizheyin-0/+3
2025-06-18Make feature suggestion more consistent.Camille GILLOT-3/+1
2025-06-02Use the informative error as the main const eval error messageOli Scherer-32/+0
2025-05-25const-check: stop recommending the use of rustc_allow_const_fn_unstableRalf Jung-5/+0
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-23/+10
2025-04-16Move eager translation to a method on `Diag`Jake Goulding-7/+3
2025-03-20Use def_path_str for def id arg in UnsupportedOpInfoMichael Goulet-3/+4
2025-02-28Shorten span of panic failures in const contextEsteban Küber-3/+22
2025-02-25Teach structured errors to display short `Ty`Esteban Küber-1/+1
2025-02-10compiler: die immediately instead of handling unknown target codegenJubilee Young-10/+0
2025-02-08Rustfmtbjorn3-4/+7
2025-01-28Implement MIR const trait stability checksDeadbeef-2/+10
2025-01-18Structured suggestion for "missing `feature` intrinsic"Esteban Küber-1/+8
2025-01-09Unify conditional and non const call error reportingMichael Goulet-21/+11
2025-01-09Make the non-const part swappable in the diagnosticMichael Goulet-9/+20
2024-12-23Note def descr in NonConstFunctionCallMichael Goulet-0/+1
2024-11-22Deduplicate checking drop terminatorMichael Goulet-1/+1
2024-11-09require const_impl_trait gate for all conditional and trait const callsRalf Jung-0/+10
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-2/+2
2024-10-25Re-do recursive const stability checksRalf Jung-3/+44
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-12/+12
2024-10-08fix/update teach_note from 'escaping mutable ref/ptr' const-checkRalf Jung-6/+6
2024-09-23Check vtable projections for validity in miriMichael Goulet-12/+6
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-8/+5
2024-09-21Rollup merge of #130665 - veera-sivarajan:fix-118612, r=compiler-errorsJubilee-0/+2
2024-09-21Prevent Deduplication of `LongRunningWarn`Veera-0/+2
2024-09-15also stabilize const_refs_to_cellRalf Jung-7/+0
2024-09-15stabilize const_mut_refsRalf Jung-24/+0
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-5/+2
2024-08-24Rollup merge of #129199 - RalfJung:writes_through_immutable_pointer, r=compil...Matthias Krüger-7/+0
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-5/+5
2024-08-17make writes_through_immutable_pointer a hard errorRalf Jung-7/+0
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-13/+18
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-14/+28
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+10
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-14/+28
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-2/+6
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-2/+2
2024-06-17Remove an unused validation error variantOli Scherer-4/+0
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-0/+16
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-0/+17
2024-04-02Forbid implicit nested statics in thread local staticsOli Scherer-0/+7