about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/messages.ftl
AgeCommit message (Expand)AuthorLines
2024-10-25Re-do recursive const stability checksRalf Jung-7/+20
2024-10-08fix/update teach_note from 'escaping mutable ref/ptr' const-checkRalf Jung-25/+26
2024-09-23Check vtable projections for validity in miriMichael Goulet-2/+2
2024-09-15also stabilize const_refs_to_cellRalf Jung-3/+0
2024-09-15stabilize const_mut_refsRalf Jung-7/+0
2024-08-31make the const-unstable-in-stable error more clearRalf Jung-2/+2
2024-08-26interpret: do not make const-eval query result depend on tcx.sessRalf Jung-3/+0
2024-08-25tweak rustc_allow_const_fn_unstable hint, and add back test for stable-const-...Ralf Jung-1/+1
2024-08-10rustc_const_eval: make LazyLock suggestion translatablePavel Grigorenko-0/+3
2024-08-10rustc_const_eval: make message about "const stable" translatablePavel Grigorenko-0/+2
2024-08-02Rollup merge of #128453 - RalfJung:raw_eq, r=saethlinMatthias Krüger-3/+0
2024-08-01fix the way we detect overflow for inbounds arithmetic (and tweak the error m...Ralf Jung-1/+1
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-10/+25
2024-07-31raw_eq: using it on bytes with provenance is not UB (outside const-eval)Ralf Jung-3/+0
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-8/+19
2024-07-27miri: fix offset_from behavior on wildcard pointersRalf Jung-3/+4
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-0/+2
2024-06-21Fix remaining casesMichael Goulet-2/+1
2024-06-19Rollup merge of #126154 - RalfJung:storage-live, r=compiler-errorsLeón Orell Valerian Liehr-2/+0
2024-06-17Remove an unused validation error variantOli Scherer-2/+0
2024-06-08StorageLive: refresh storage (instead of UB) when local is already liveRalf Jung-2/+0
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-4/+3
2024-05-09interpret/miri: better errors on failing offset_fromRalf Jung-7/+8
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-9/+3
2024-04-02Forbid implicit nested statics in thread local staticsOli Scherer-0/+1
2024-03-17Print a backtrace in const eval if interruptedBen Kimock-0/+2
2024-03-14Rename some things around validation error reporting to signal that it is in ...Oli Scherer-6/+6
2024-03-10Rollup merge of #121860 - mu001999:master, r=NilstriebMatthias Krüger-3/+0
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-3/+0
2024-03-03Remove unused fluent messagesr0cky-3/+0
2024-02-29allow statics pointing to mutable staticsRalf Jung-1/+0
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-3/+0
2024-02-16allow mutable references in const values when they point to no memoryRalf Jung-1/+1
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-0/+2
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/+4
2024-02-10detect consts that reference extern staticsRalf Jung-0/+1
2024-02-10validation: descend from consts into staticsRalf Jung-3/+3
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-7/+6
2024-02-10interpret: rename ReadExternStatic → ExternStaticRalf Jung-2/+2
2024-02-10interpret/write_discriminant: when encoding niched variant, ensure the stored...Ralf Jung-0/+4
2024-01-22raw pointers are not referencesRalf Jung-8/+8
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-8/+14
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-0/+3
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-2/+6
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-3/+0
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-1/+1
2023-08-08interpret: remove incomplete protection against invalid where clausesRalf Jung-2/+0
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-50/+58