about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
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
2020-03-31rustc_target::abi: rename FieldPlacement to FieldsShape.Ana-Maria Mihalache-7/+7
2020-03-31more clippy fixesMatthias Krüger-1/+1
2020-03-30remove a dead parameter that everyone sets to NoneRalf Jung-3/+3
2020-03-30stop unnecessarily passing around span argument for Miri function callsRalf Jung-33/+21
2020-03-30remove caller span from Miri stack frameRalf Jung-10/+2
2020-03-30Miri stacktrace: record span inside frame, not call-site spanRalf Jung-16/+4
2020-03-30Use if let instead of match when only matching a single variant (clippy::sing...Matthias Krüger-9/+5
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-10/+9
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-82/+81
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-1/+1
2020-03-29Rollup merge of #69702 - anyska:tylayout-rename, r=oli-obkDylan DPC-50/+50
2020-03-29Rollup merge of #70508 - RalfJung:scalar-from, r=eddybDylan DPC-19/+15
2020-03-28refmtRalf Jung-4/+1
2020-03-28get rid of useless back-and-forth castRalf Jung-3/+2
2020-03-28use more specialized Scalar::from_ constructors where appropriateRalf Jung-13/+13
2020-03-28rename Scalar::{ptr_null -> null_ptr}Ralf Jung-1/+1
2020-03-27Rename TyLayout to TyAndLayout.Ana-Maria Mihalache-50/+50
2020-03-27Auto merge of #69916 - oli-obk:mir_bless, r=eddybbors-71/+25
2020-03-27Auto merge of #68404 - Amanieu:llvm-asm, r=estebankbors-1/+1
2020-03-26Rollup merge of #70437 - RalfJung:miri-saturate, r=hanna-kruppeDylan DPC-0/+4
2020-03-26Rollup merge of #70397 - JOE1994:write_wide_str, r=RalfJungDylan DPC-2/+42
2020-03-26Miri float->int casts: be explicit that this is saturatingRalf Jung-0/+4
2020-03-26Rename asm! to llvm_asm!Amanieu d'Antras-1/+1
2020-03-26add 'fn write_u16s'(rustc_mir::interpret::Memory)JOE1994-2/+42
2020-03-26Enable `--bless`ing of MIR dumpsOliver Scherer-71/+25
2020-03-26Rollup merge of #70385 - RalfJung:miri-nits, r=eddybMazdak Farrokhzad-1/+1
2020-03-25Rollup merge of #69700 - anyska:layout-details-rename, r=oli-obkDylan DPC-3/+3