summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2020-03-09Rollup merge of #69762 - RalfJung:validity-errors, r=oli-obkMazdak Farrokhzad-33/+78
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-08Rollup merge of #69646 - RalfJung:layout-visitor, r=eddybMazdak Farrokhzad-127/+166
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
2020-03-01Auto merge of #69408 - RalfJung:canonical-alloc-id, r=oli-obkbors-45/+57
2020-03-01Rollup merge of #69580 - matthiaskrgr:map_clone, r=CentrilYuki Okushi-1/+1
2020-03-01Auto merge of #69592 - petrochenkov:nosyntax, r=Centrilbors-6/+6
2020-02-29Rename `syntax` to `rustc_ast` in source codeVadim Petrochenkov-6/+6
2020-02-29Rollup merge of #69572 - matthiaskrgr:try_err_and_iter_on_ref, r=CentrilDylan DPC-1/+1
2020-02-29use .copied() instead of .map(|x| *x) on iteratorsMatthias Krüger-1/+1
2020-02-29downgrade some assertions to debug_ againRalf Jung-5/+7
2020-02-29use .iter() instead of .into_iter() on references.Matthias Krüger-1/+1
2020-02-28miri engine: turn some debug_assert into assertRalf Jung-14/+12
2020-02-28remove ScalarMaybeUndef::to_bits and make Scalar::to_bits privateRalf Jung-42/+38
2020-02-28use is_empty() instead of len() == x to determine if structs are empty.Matthias Krüger-3/+3
2020-02-28Auto merge of #68505 - skinny121:canonicalize-const-eval-inputs, r=nikomatsakisbors-5/+1
2020-02-27don't use .into() to convert types into identical types.Matthias Krüger-2/+2
2020-02-26miri: validity visitor comments and path printing improvementsRalf Jung-22/+45
2020-02-23fmtRalf Jung-4/+1
2020-02-23canonicalize alloc ID before calling tag_static_base_pointerRalf Jung-1/+4
2020-02-23miri/machine: add canonical_alloc_id hook to replace find_foreign_staticRalf Jung-44/+56
2020-02-20Erase regions before before performing const eval, to improve caching.Ben Lewis-5/+1
2020-02-19Check `RUSTC_CTFE_BACKTRACE` much less by generating fewer errorsWesley Wiser-6/+6
2020-02-18more English grammarRalf Jung-4/+4
2020-02-18miri value visitor: fix some wrong assumptions about layout; improve error me...Ralf Jung-157/+151
2020-02-16Determine type of intrinsics instead of assuming the destination type is the ...Ben Lewis-1/+8
2020-02-16Code review changes.Ben Lewis-1/+1