about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2020-03-14adjust Miri to needs of changed unwinding strategyRalf Jung-26/+19
2020-03-12miri engine: fix treatment of abort intrinsicRalf Jung-8/+5
2020-03-12Rollup merge of #69830 - RalfJung:miri-invalid-terminator, r=oli-obkMazdak Farrokhzad-7/+18
2020-03-12codegen/mir: support polymorphic `InstanceDef`sDavid Wood-15/+25
2020-03-11we are on 2018 edition, use try blockRalf Jung-6/+4
2020-03-11avoid boolean inversionRalf Jung-3/+3
2020-03-11explain why we catch PointerUseAfterFreeRalf Jung-0/+2
2020-03-11start Miri messages lower-caseRalf Jung-2/+2
2020-03-11fmt, and fix rustfmt-induced rebase hickupRalf Jung-5/+2
2020-03-11generalize InvalidNullPointerUsage to InvalidIntPointerUsageRalf Jung-13/+23
2020-03-11fmt, tweak messages and blessRalf Jung-18/+31
2020-03-11miri: categorize errors into "unsupported" and "UB"Ralf Jung-150/+162
2020-03-11Rollup merge of #69850 - RalfJung:panic-bounds-check, r=eddybMazdak Farrokhzad-2/+1
2020-03-11Comment nitsOliver Scherer-1/+1
2020-03-11Compute the correct layout for variants of uninhabited enums and readd a long...Oliver Scherer-9/+1
2020-03-11Rollup merge of #69825 - lcnr:discriminant, r=oli-obkMazdak Farrokhzad-0/+5
2020-03-11Generalize typed value printing and use for undef printingOliver Scherer-7/+9
2020-03-11Deduplicate and clean up pretty printing logicOliver Scherer-42/+40
2020-03-09also handle abort intrinsic with new machine hookRalf Jung-1/+5
2020-03-09remove no-longer needed span from Miri Machine hookRalf Jung-2/+1
2020-03-09Rollup merge of #69762 - RalfJung:validity-errors, r=oli-obkMazdak Farrokhzad-33/+78
2020-03-09miri: add machine hook for Abort terminatorRalf Jung-2/+12
2020-03-08fix some cases of unexpected exceptions leaving validationRalf Jung-27/+57
2020-03-08miri validation: debug-complain about unexpected errorsRalf Jung-6/+21
2020-03-08Rollup merge of #69326 - JOE1994:os_str_widestring, r=RalfJungMazdak Farrokhzad-0/+27
2020-03-08miri: ICE on invalid terminatorsRalf Jung-9/+6
2020-03-08Rollup merge of #69646 - RalfJung:layout-visitor, r=eddybMazdak Farrokhzad-127/+166
2020-03-08constify `mem::discriminant`Bastian Kauschke-0/+5
2020-03-07Rollup merge of #69773 - matthiaskrgr:typos, r=petrochenkovMazdak Farrokhzad-4/+4
2020-03-07Rollup merge of #69782 - matthiaskrgr:redundant_field_name_rep, r=cramertjMazdak Farrokhzad-1/+1
2020-03-06mir-interpret: add method Memory::read wide_stringJOE1994-0/+27
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-06Don't redundantly repeat field names (clippy::redundant_field_names)Matthias Krüger-1/+1
2020-03-06Auto merge of #69753 - pnkfelix:issue-69191-ice-on-uninhabited-enum-field, r=olibors-0/+8
2020-03-06fix various typosMatthias Krüger-4/+4
2020-03-06Add FIXMEOliver Scherer-0/+2
2020-03-05Fix #69191Felix S. Klock II-0/+6
2020-03-05Rollup merge of #69736 - matthiaskrgr:even_more_clippy, r=Dylan-DPCDylan DPC-3/+2
2020-03-05Rollup merge of #69713 - matthiaskrgr:more_cleanup, r=cramertjDylan DPC-1/+1
2020-03-05Use simple 'for i in x' loops instead of 'while let Some(x) = x.next()' loops...Matthias Krüger-3/+2
2020-03-04Don't use "if let" bindings to only check a value and not actually bind anyth...Matthias Krüger-1/+1
2020-03-04use integer assoc consts instead of methodsRalf Jung-4/+4
2020-03-04Auto merge of #69550 - RalfJung:scalar, r=oli-obkbors-42/+38
2020-03-03Rollup merge of #69565 - RalfJung:assert, r=eddybDylan DPC-7/+7
2020-03-02Auto merge of #69257 - RalfJung:layout-visitor, r=eddybbors-174/+191