about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
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
2022-08-07add -Zextra-const-ub-checks to enable more UB checking in const-evalRalf Jung-0/+4
2022-07-30Use LocalDefId for closures moreCameron Steffen-1/+1
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-2/+2
2022-07-23remove some provenance-related machine hooks that Miri no longer needsRalf Jung-10/+8
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-1/+1
2022-07-20make use of symbolic vtables in interpreterRalf Jung-44/+7
2022-07-20rename get_global_alloc to try_get_global_allocRalf Jung-1/+1
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-25/+25
2022-07-14interpret/validity: improve some commentsRalf Jung-2/+4
2022-07-13Rollup merge of #99011 - oli-obk:UnsoundCell, r=eddybDylan DPC-1/+1
2022-07-11interpret: refactor projection handling codeRalf Jung-8/+22
2022-07-07`UnsafeCell` now has no niches, ever.Oli Scherer-1/+1
2022-07-06interpret: use AllocRange in UninitByteAccessRalf Jung-2/+2
2022-07-03move Box mess handling into general visitorRalf Jung-34/+6
2022-07-03fix interpreter validity check on BoxRalf Jung-6/+28
2022-07-01Factor out hir::Node::BindingCameron Steffen-1/+1
2022-06-28fix silly mistakeDrMeepster-1/+1
2022-06-28Validate all fields of box instead of validating allocator specificallyDrMeepster-2/+2
2022-06-26validate box's allocatorDrMeepster-0/+3
2022-06-26fix box with custom allocator in miriDrMeepster-1/+4
2022-06-05validating the vtable can lead to Stacked Borrows errorsRalf Jung-0/+8
2022-05-19fmtRalf Jung-2/+1
2022-05-19interpret/validity: separately control checking numbers for being init and no...Ralf Jung-9/+16
2022-05-17interpret/validity: reject references to uninhabited typesRalf Jung-6/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 23:23:17 +0000