about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
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
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-3/+7
2023-02-26Access upvars through a query.Camille GILLOT-4/+2
2023-02-20basic dyn* support for MiriRalf Jung-10/+13
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-1/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-6/+6
2023-01-17`rustc_const_eval`: remove `ref` patterns (+some pattern matching imps)Maybe Waffle-1/+1
2022-12-13Combine identical alias armsMichael Goulet-2/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+0
2022-11-25Move a comment to the right placeOli Scherer-3/+3
2022-11-25`rustc_layout_scalar_valid_range` can be applied to scalar pairs and affects ...Oli Scherer-9/+1
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-3/+5
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-2/+1
2022-09-29Mark ignore(illustrative) on docs in compiler/rustc_const_eval/src/interpret/...reez12g-3/+3
2022-09-03Auto merge of #101154 - RalfJung:validation-perf, r=oli-obkbors-4/+5
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-40/+32
2022-08-29interpret: fix unnecessary allocation in validation visitorRalf Jung-4/+5
2022-08-29Rollup merge of #100897 - RalfJung:const-not-to-mutable, r=lcnrMatthias Krüger-27/+45
2022-08-28validation should only catch UB errorsRalf Jung-17/+20
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-23/+12
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-89/+57
2022-08-26remove some now-unnecessary parameters from check_bytesRalf Jung-5/+1
2022-08-26remove enforce_number_init machine hook that Miri no longer needsRalf Jung-16/+8
2022-08-23extra sanity check against consts pointing to mutable memoryRalf Jung-27/+45