summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
2024-03-12Exhaustively match on the mutability and nestednessOli Scherer-7/+9
2024-03-12s/mt/mutability/Oli Scherer-3/+3
2024-03-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-12/+20
2024-03-12Add `nested` bool to `DefKind::Static`.Oli Scherer-1/+1
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-9/+10
2024-03-11Rollup merge of #122249 - RalfJung:machine-read-hook, r=oli-obkJubilee-1/+1
2024-03-09interpret: do not call machine read hooks during validationRalf Jung-1/+1
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-2/+6
2024-02-29allow statics pointing to mutable staticsRalf Jung-17/+8
2024-02-16Rollup merge of #121179 - RalfJung:zst-mutable-refs, r=oli-obkGuillaume Gomez-46/+39
2024-02-16allow mutable references in const values when they point to no memoryRalf Jung-46/+39
2024-02-16Auto merge of #120486 - reitermarkus:use-generic-nonzero, r=dtolnaybors-2/+2
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-8/+11
2024-02-15Use generic `NonZero` internally.Markus Reiter-2/+2
2024-02-12Rollup merge of #120950 - compiler-errors:miri-async-closurs, r=RalfJung,oli-obkMatthias Krüger-2/+2
2024-02-12fix cycle error when a static and a promoted are mutually recursiveRalf Jung-13/+15
2024-02-11Fix async closures in CTFEMichael Goulet-2/+2
2024-02-10detect consts that reference extern staticsRalf Jung-2/+12
2024-02-10validation: descend from consts into staticsRalf Jung-33/+40
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-15/+0
2024-02-06Rollup merge of #120683 - RalfJung:symbolic-alignment-ice, r=oli-obkMatthias Krüger-4/+1
2024-02-06miri: fix ICE with symbolic alignment check on extern staticRalf Jung-4/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2024-01-22more clear codeRalf Jung-11/+6
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-29/+116
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-10-23Pull mplace validation logic out into an interpreter methodOli Scherer-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-4/+4
2023-10-20s/Generator/Coroutine/Oli Scherer-10/+10
2023-10-15separate bounds-check from alignment checkRalf Jung-9/+15
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-1/+1
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-11/+5
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-2/+2
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-1/+0
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-6/+6
2023-08-27miri/diagnostics: don't forget to print_backtrace when ICEing on unexpected e...Ralf Jung-3/+4
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-45/+57
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-3/+1
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-5/+5
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-5/+5
2023-07-25make MPlaceTy non-CopyRalf Jung-3/+3
2023-07-25interpret: read_discriminant: only return VariantIdxRalf Jung-1/+1
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-61/+55
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-21/+33
2023-07-21support non-null pointer niches in CTFEMoulins-33/+21
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-122/+95
2023-04-27Use trimmed paths in constantant validation errorsTomasz Miąsko-10/+8
2023-04-17Spelling - compilerJosh Soref-2/+2