about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/errors.rs
AgeCommit message (Expand)AuthorLines
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
2024-03-17Print a backtrace in const eval if interruptedBen Kimock-0/+1
2024-03-14Rename some things around validation error reporting to signal that it is in ...Oli Scherer-3/+3
2024-03-13downgrade mutable-ptr-in-final-value from hard-error to future-incompat lint ...Felix S. Klock II-2/+5
2024-03-11Rename `IntoDiagnostic` as `Diagnostic`.Nicholas Nethercote-3/+2
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-2/+2
2024-03-11Remove unused impls from some subdiagnostics.Nicholas Nethercote-1/+1
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-10/+9
2024-02-29Rollup merge of #121782 - RalfJung:mutable-ref-in-static, r=oli-obkMatthias Krüger-2/+0
2024-02-29allow statics pointing to mutable staticsRalf Jung-2/+0
2024-02-28Auto merge of #121489 - nnethercote:diag-renaming, r=davidtwcobors-16/+16
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-7/+7
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-11/+11
2024-02-27Split rustc_type_ir to avoid rustc_ast from depending on itOli Scherer-2/+1
2024-02-22Overhaul `Diagnostic` args.Nicholas Nethercote-2/+2
2024-02-16allow mutable references in const values when they point to no memoryRalf Jung-11/+13
2024-02-12Remove `dcx` arg from `ReportErrorExt::add_args`.Nicholas Nethercote-74/+60
2024-02-11Rollup merge of #120883 - RalfJung:extern-static-err, r=oli-obkMatthias Krüger-2/+2
2024-02-11Rollup merge of #120882 - RalfJung:set-discriminant, r=compiler-errorsMatthias Krüger-0/+6
2024-02-10detect consts that reference extern staticsRalf Jung-0/+2
2024-02-10validation: descend from consts into staticsRalf Jung-8/+2
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-13/+9
2024-02-10interpret: rename ReadExternStatic → ExternStaticRalf Jung-2/+2
2024-02-10interpret/write_discriminant: when encoding niched variant, ensure the stored...Ralf Jung-0/+6
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-1/+1
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-26/+26
2024-01-25Auto merge of #119627 - oli-obk:const_prop_lint_n̵o̵n̵sense, r=cjgillotbors-6/+1
2024-01-23const prop nonsense eliminatedOli Scherer-6/+1
2024-01-22raw pointers are not referencesRalf Jung-4/+4