summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
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
2022-05-10tighten sanity checks around Scalar and ScalarPairRalf Jung-4/+5
2022-05-05give it a scary nameRalf Jung-1/+1
2022-05-04interpret: debug-check ScalarPair layout informationRalf Jung-18/+38
2022-04-17ptr_get_alloc_id: don't return an actual PointerRalf Jung-1/+1
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-4/+4
2022-04-05interp/validity: enforce Scalar::InitializedRalf Jung-4/+22
2022-04-05Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardinbors-2/+2
2022-04-05Mark scalar layout unions so that backends that do not support partially init...Oli Scherer-2/+2
2022-04-03tweak some function namesRalf Jung-1/+1
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-6/+6
2022-03-26interpret: with enforce_number_validity, ensure integers are truly Scalar::In...Ralf Jung-3/+6
2022-03-22interpret/validity: improve clarityRalf Jung-3/+2
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-3/+3
2022-02-24Miri fn ptr check: don't use conservative null checkRalf Jung-8/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 11:12:46 +0000