about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2020-04-30Rollup merge of #71590 - RalfJung:mir-dump-pointers, r=oli-obkTyler Mandry-3/+5
2020-04-29expand comment in memory.rs with extra soundness concernsRalf Jung-1/+3
2020-04-28better document const-pattern dynamic soundness checks, and fix a soundness holeRalf Jung-7/+15
2020-04-28Rollup merge of #71615 - RalfJung:share-machine-code, r=oli-obkDylan DPC-1/+65
2020-04-27Use `LocalDefId` in `typeck_tables_of` and `used_trait_imports` queriesmarmeladema-5/+7
2020-04-27share some common code for compile-time miri instancesRalf Jung-1/+65
2020-04-26organize Debug/Display impls a bit more; avoid sign-ignorant decimal displayRalf Jung-2/+4
2020-04-26sync alloc dump and pointer printingRalf Jung-1/+1
2020-04-26Rollup merge of #71140 - oli-obk:static_cycle, r=RalfJungDylan DPC-8/+17
2020-04-24Remove `Option` from the return type of `def_kind`.Eduard-Mihai Burtescu-1/+1
2020-04-24Rollup merge of #71475 - RalfJung:miri-frame-loc, r=ecstatic-morseDylan DPC-41/+29
2020-04-23Miri Frame: use mir::Location to represent position in functionRalf Jung-41/+29
2020-04-23Rollup merge of #71005 - jonas-schievink:no-place-like-return, r=oli-obkDylan DPC-98/+40
2020-04-23Update src/librustc_mir/interpret/memory.rsOliver Scherer-1/+3
2020-04-23Disallow statics initializing themselvesOliver Scherer-1/+10
2020-04-22Auto merge of #71044 - ecstatic-morse:body-predecessor-cache, r=oli-obkbors-3/+3
2020-04-22Use `Body` everywhereDylan MacKenzie-3/+3
2020-04-22Rollup merge of #71280 - RalfJung:mplace-check-align, r=oli-obkDylan DPC-2/+7
2020-04-22comment explaining force_align usageRalf Jung-0/+3
2020-04-22Rollup merge of #70970 - eddyb:trait-vs-impl-mismatch, r=oli-obkDylan DPC-2/+7
2020-04-20Use copy_op_transmuteJonas Schievink-1/+1
2020-04-20Remove unnecessary blockJonas Schievink-6/+4
2020-04-20Fix codegen and mir-opt testsJonas Schievink-1/+0
2020-04-20Dump return_place upon returningJonas Schievink-0/+1
2020-04-20Fix pop_stack_frame logicJonas Schievink-22/+7
2020-04-20Remove null placesJonas Schievink-16/+0
2020-04-20Treat RETURN_PLACE as a normal LocalJonas Schievink-65/+40
2020-04-19Auto merge of #70598 - vakaras:add-threads-cr3, r=oli-obk,RalfJungbors-59/+120
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-17/+17
2020-04-18Detect mistyped associated consts in `Instance::resolve`.Eduard-Mihai Burtescu-2/+7
2020-04-18Miri: mplace_access_checked: offer option to force different alignment on placeRalf Jung-2/+4
2020-04-17Rollup merge of #71238 - RalfJung:miri-typo, r=oli-obkDylan DPC-1/+1
2020-04-17Auto merge of #71049 - eddyb:const-err, r=oli-obkbors-12/+13
2020-04-17Miri: fix typoRalf Jung-1/+1
2020-04-17Auto merge of #70629 - anyska:fields-variant, r=oli-obkbors-5/+10
2020-04-17Rollup merge of #71164 - RalfJung:uninit-not-undef, r=oli-obkDylan DPC-6/+11
2020-04-16mir/interpret: only use `ErrorHandled::Reported` for `ErrorReported`.Eduard-Mihai Burtescu-13/+13
2020-04-16ty: add `ty::ConstKind::Error` to replace `tcx.consts.err`.Eduard-Mihai Burtescu-0/+1
2020-04-16rustc_target::abi: add Primitive variant to FieldsShape.Ana-Maria Mihalache-5/+10
2020-04-16Move the explanation why adjust_global_const is called for all constants.Vytautas Astrauskas-3/+5
2020-04-16Rename Machine::eval_maybe_thread_local_static_const to adjust_global_const a...Vytautas Astrauskas-2/+7
2020-04-16switch back to 'bytes'Ralf Jung-1/+1
2020-04-15Fix clippy warningsMatthias Krüger-1/+1
2020-04-15Remove now unnecessary resolve_maybe_global_alloc.Vytautas Astrauskas-43/+17
2020-04-15Add function eval_maybe_thread_local_static_const that allows handling thread...Vytautas Astrauskas-52/+70
2020-04-15Clarify the comments explaining the purpose of resolve_maybe_global_alloc.Vytautas Astrauskas-4/+23
2020-04-15Address reviewers' comments: replace resolve_thread_local_allocation_id with ...Vytautas Astrauskas-22/+28
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-46/+83
2020-04-15reword Miri validity errors: undefined -> uninitializedRalf Jung-6/+11
2020-04-15Rollup merge of #71100 - RalfJung:miri-frame-hook, r=oli-obkMazdak Farrokhzad-21/+54