summary refs log tree commit diff
path: root/src/librustc_mir/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
2020-01-17Rollup merge of #68288 - RalfJung:fmt, r=oli-obkDylan DPC-8/+4
2020-01-16adjust Deref commentRalf Jung-7/+5
2020-01-16let rustfmt undo most of my edits :(Ralf Jung-4/+2
2020-01-16fix rustfmt falloutRalf Jung-5/+5
2020-01-14Untangle ZST validation from integer validation and generalize it to all zstsOliver Scherer-11/+7
2020-01-13Early abort validation of arrays of zsts because there is no data to be checkedOliver Scherer-3/+8
2020-01-09Rename `Unsized` to `Meta`Oliver Scherer-2/+2
2020-01-07Poison any `MemPlace` created from a zst Operand (or otherwise via `MPlaceTy:...Oliver Scherer-6/+9
2020-01-07Remove a ZST special casing that is not necessary anymoreOliver Scherer-6/+2
2020-01-07Automatically prefer integer addresses for zst MPlaceOliver Scherer-7/+4
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-1/+1
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-1/+1
2019-12-29Resolve long compile times when evaluating always valid constantsWesley Wiser-3/+12
2019-12-22Format the worldMark Rousskov-124/+128
2019-12-12avoid more intermediate allocations in validation errorsRalf Jung-23/+16
2019-12-12validation: avoid some intermediate allocationsRalf Jung-6/+6
2019-11-22fix reoccuring typo: dereferencable -> dereferenceableRalf Jung-2/+2
2019-11-08Rollup merge of #66154 - RalfJung:to_usize, r=oli-obkMazdak Farrokhzad-1/+1
2019-11-08miri: Rename to_{u,i}size to to_machine_{u,i}sizeRalf Jung-1/+1
2019-11-08rename Memory::get methods to get_raw to indicate their unchecked natureRalf Jung-1/+4
2019-11-06improve a commentRalf Jung-1/+1
2019-11-06remvoe to_scalar_ptr and use ref_to_mplace everywhereRalf Jung-28/+14
2019-11-04let caller of check_ptr_access_align control the error messageRalf Jung-2/+7
2019-10-18Don't ICE when evaluating writes to uninhabited enum variantsWesley Wiser-1/+1
2019-09-26Rename `Pat.node` to `Pat.kind`varkor-1/+1
2019-09-25Rename `sty` to `kind`varkor-6/+6
2019-08-30mod-level doc comment for validity checkRalf Jung-0/+6
2019-08-26raw slices do not have to comply to the size limitRalf Jung-14/+5
2019-08-25test for too long slicesRalf Jung-2/+14
2019-08-25validate raw wide pointersRalf Jung-2/+9
2019-08-25factor wide ptr metadata checking into separate methodRalf Jung-33/+42
2019-08-02miri: validity checks alignment even when machine otherwise does notRalf Jung-1/+3
2019-07-31code review fixesSaleem Jaffer-23/+22
2019-07-30renaming throw_err_* to throw_*Saleem Jaffer-15/+13
2019-07-30renaming err to err_unsupSaleem Jaffer-2/+2
2019-07-30adding throw_ and err_ macros for InterpErrorSaleem Jaffer-2/+2
2019-07-29code review fixesSaleem Jaffer-4/+5
2019-07-29adding a err macro for each of the InterpError variantsSaleem Jaffer-4/+4
2019-07-29fixing fallout due to InterpError refactorSaleem Jaffer-11/+11
2019-07-14miri validation: better error messages for dangling referencesRalf Jung-2/+2
2019-07-13Rollup merge of #62585 - pnkfelix:issue-60431-make-struct-tail-normalize-when...Mazdak Farrokhzad-1/+2
2019-07-12Replace `struct_tail` and `struct_lockstep_tails` with variants handling norm...Felix S. Klock II-1/+2
2019-07-06forcing instead of normalizationRalf Jung-4/+11
2019-07-06Add check_mplace_ptr convenience method; provide ptr-normalization methods fo...Ralf Jung-8/+11
2019-07-04improve validity error range printing for singleton rangesRalf Jung-8/+9
2019-07-04turns out that dangling pointer branch is dead code; remove it and improve th...Ralf Jung-12/+9
2019-07-04use get_size_and_align to test if an allocation is liveRalf Jung-9/+8
2019-07-04make Memory::get_fn take a Scalar like most of the Memory API surfaceRalf Jung-5/+5
2019-06-27rename InterpretCx -> InterpCxRalf Jung-4/+4
2019-06-23comment tweaks, better validation errors, update UI testsRalf Jung-6/+18
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-08 20:48:57 +0000