about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
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
2022-02-23Miri: relax fn ptr checkRalf Jung-13/+18
2022-02-21ScalarMaybeUninit is explicitly hexadecimal in its formattingRalf Jung-5/+5
2022-02-21Rollup merge of #94189 - GuillaumeGomez:scalar-lower-hex, r=RalfJungMatthias Krüger-1/+1
2022-02-21Rollup merge of #94143 - est31:let_else_const_eval, r=lcnrMatthias Krüger-6/+3
2022-02-20Implement LowerHex on Scalar to clean up their display in rustdocGuillaume Gomez-1/+1
2022-02-19rustc_const_eval: adopt let else in more placesest31-6/+3
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-1/+1
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-3/+3
2022-01-11Store a `Symbol` instead of an `Ident` in `VariantDef`/`FieldDef`Aaron Hill-3/+3
2021-12-31Extend check for UnsafeCell in consts to cover unionsTomasz Miąsko-1/+8
2021-11-09miri: Detect uninitialized integers and floatsNoah Lev-5/+3
2021-09-20Enable 2021 compatibility lints for all in-tree codeMark Rousskov-1/+1
2021-09-09Rename `(un)signed` to `(un)signed_int`Andreas Liljeqvist-1/+1
2021-09-09Move `unsigned_max` etc into `Size` againAndreas Liljeqvist-1/+1
2021-09-09Remove cloneAndreas Liljeqvist-1/+1
2021-09-09Make `abi::Abi` `Copy` and remove a *lot* of refsAndreas Liljeqvist-2/+2
2021-09-09Add methods for checking for full ranges to `Scalar` and `WrappingRange`Andreas Liljeqvist-15/+13
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-14 05:01:48 +0000