summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
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-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
2020-04-13Miri: let machine hook dynamically decide about alignment checksRalf Jung-3/+3
2020-04-13add after_stack_push hook; add public ImmTy::from_immediate method, and make ...Ralf Jung-9/+22
2020-04-13Miri: let push_frame hook also access and mutate the rest of the frame dataRalf Jung-12/+32
2020-04-11Rollup merge of #70962 - KrishnaSannasi:track-dealloc, r=RalfJungMazdak Farrokhzad-0/+10
2020-04-10added machine hooks to track deallocationsOzaren-0/+10
2020-04-09Use new utility in `eval_context`Dylan MacKenzie-9/+10
2020-04-07Rollup merge of #70762 - RalfJung:miri-leak-check, r=oli-obkDylan DPC-50/+72
2020-04-05make set_span public, as all the fields it touches are public alreadyRalf Jung-1/+1
2020-04-05set span more accurately during const_propRalf Jung-5/+9
2020-04-05Miri engine: use span_bug in a few placesRalf Jung-20/+32
2020-04-05Miri terminator handling: only do progress sanity check for 'Call' terminatorRalf Jung-5/+5
2020-04-05Rollup merge of #70806 - RalfJung:miri-assignment-check, r=eddybDylan DPC-19/+39
2020-04-05fix commentRalf Jung-3/+3
2020-04-05miri assignment check: compare types after normalizing all late-bound regions...Ralf Jung-19/+39
2020-04-04Miri: remove an outdated FIXMERalf Jung-1/+0
2020-04-04indicate better which kind of memory got leakedRalf Jung-12/+16
2020-04-04share more alloc printing code between Miri and MIR dumpingRalf Jung-37/+34
2020-04-04avoid printing allocations twiceRalf Jung-9/+11
2020-04-04Miri leak_report: do not report leaks of allocations that are reachable from ...Ralf Jung-5/+24
2020-04-02switch assignment check back to testing layout equalityRalf Jung-18/+23
2020-04-02also use mir_assign_valid_types in from_known_layout checkRalf Jung-63/+58
2020-04-02also accept fn-ptr-type-changing assignmentsRalf Jung-2/+7
2020-04-02Miri engine: stronger type-based sanity check for assignmentsRalf Jung-5/+17
2020-04-02direct imports for langitem stuffMazdak Farrokhzad-1/+1
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-71/+64
2020-04-01Rollup merge of #70616 - anyska:fieldplacement-rename, r=oli-obkDylan DPC-7/+7
2020-04-01Rollup merge of #70590 - RalfJung:miri-backtrace, r=oli-obkDylan DPC-62/+30
2020-03-31Use Place directly, it's Copy even more use casesSantiago Pastorino-22/+22
2020-03-31avoid an unreachable fallbackRalf Jung-11/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 11:54:17 +0000