summary refs log tree commit diff
path: root/src/librustc_mir/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
2020-04-19Auto merge of #70598 - vakaras:add-threads-cr3, r=oli-obk,RalfJungbors-3/+3
2020-04-17Auto merge of #70629 - anyska:fields-variant, r=oli-obkbors-4/+6
2020-04-16rustc_target::abi: add Primitive variant to FieldsShape.Ana-Maria Mihalache-4/+6
2020-04-16switch back to 'bytes'Ralf Jung-1/+1
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-3/+3
2020-04-15reword Miri validity errors: undefined -> uninitializedRalf Jung-6/+11
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-10/+11
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-2/+2
2020-03-27Rename TyLayout to TyAndLayout.Ana-Maria Mihalache-3/+3
2020-03-25go back to infix ops for SizeRalf Jung-4/+4
2020-03-25use checked casts and arithmetic in Miri engineRalf Jung-4/+6
2020-03-22miri engine: turn error sanity checks into assertionsRalf Jung-4/+3
2020-03-11explain why we catch PointerUseAfterFreeRalf Jung-0/+2
2020-03-11generalize InvalidNullPointerUsage to InvalidIntPointerUsageRalf Jung-9/+17
2020-03-11fmt, tweak messages and blessRalf Jung-11/+9
2020-03-11miri: categorize errors into "unsupported" and "UB"Ralf Jung-8/+8
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 23:34:20 +0000