summary refs log tree commit diff
path: root/src/librustc_mir/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
2020-03-08fix some cases of unexpected exceptions leaving validationRalf Jung-14/+50
2020-03-08miri validation: debug-complain about unexpected errorsRalf Jung-6/+21
2020-03-08Rollup merge of #69646 - RalfJung:layout-visitor, r=eddybMazdak Farrokhzad-127/+166
2020-03-06bug on ty::GeneratorWitnessRalf Jung-4/+7
2020-03-06rename visit_primitive -> try_visit_primitive, and commentsRalf Jung-4/+5
2020-03-06better error messages for invalid boxes (and a few more tests)Ralf Jung-7/+12
2020-03-06test that we validate boxesRalf Jung-1/+0
2020-03-06miri value visitor: detect primitives by type, not layoutRalf Jung-126/+158
2020-03-06'fieldless enums' is not what I meant -- it's empty/uninhabited enums, reallyRalf Jung-2/+1
2020-03-04use integer assoc consts instead of methodsRalf Jung-1/+1
2020-03-04Auto merge of #69550 - RalfJung:scalar, r=oli-obkbors-7/+8
2020-03-03Rollup merge of #69565 - RalfJung:assert, r=eddybDylan DPC-3/+3
2020-02-28miri engine: turn some debug_assert into assertRalf Jung-3/+3
2020-02-28remove ScalarMaybeUndef::to_bits and make Scalar::to_bits privateRalf Jung-7/+8
2020-02-26miri: validity visitor comments and path printing improvementsRalf Jung-22/+45
2020-02-18more English grammarRalf Jung-4/+4
2020-02-18miri value visitor: fix some wrong assumptions about layout; improve error me...Ralf Jung-64/+117
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-04 06:19:38 +0000