about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/errors.rs
AgeCommit message (Expand)AuthorLines
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
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-14/+29
2024-01-03Rename some `Diagnostic` setters.Nicholas Nethercote-43/+43
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-19Add `level` arg to `into_diagnostic`.Nicholas Nethercote-2/+5
2023-12-18Rename many `DiagCtxt` and `EarlyDiagCtxt` locals.Nicholas Nethercote-3/+3
2023-12-18Rename many `DiagCtxt` arguments.Nicholas Nethercote-31/+23
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-1/+1
2023-12-18Rename `Handler` as `DiagCtxt`.Nicholas Nethercote-10/+14
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-0/+7
2023-12-02Use `Session::diagnostic` in more places.Nicholas Nethercote-1/+1
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-10/+2
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-3/+4
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-1/+0
2023-09-14don't point at const usage site for resolution-time errorsRalf Jung-7/+0
2023-09-09give extra context to ABI mismatch errorsRalf Jung-9/+18
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-1/+2
2023-08-08interpret: remove incomplete protection against invalid where clausesRalf Jung-4/+0
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-66/+88
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-3/+5