summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2020-06-01Auto merge of #71192 - oli-obk:eager_alloc_id_canonicalization, r=wesleywiserbors-0/+16
2020-05-30Rollup merge of #72772 - RalfJung:valid-char, r=petrochenkovRalf Jung-1/+1
2020-05-30Rollup merge of #72540 - davidtwco:issue-67552-mono-collector-comparison, r=v...Ralf Jung-1/+1
2020-05-30Make TLS accesses explicit in MIROliver Scherer-0/+16
2020-05-30miri validation: clarify valid values of 'char'Ralf Jung-1/+1
2020-05-30Rollup merge of #72419 - RalfJung:read-discriminant, r=oli-obk,eddybYuki Okushi-79/+105
2020-05-29Auto merge of #72756 - RalfJung:rollup-tbjmtx2, r=RalfJungbors-3/+54
2020-05-30more type sanity checks in MiriRalf Jung-2/+18
2020-05-29Rollup merge of #71500 - josephlr:offset, r=oli-obk,RalfJungRalf Jung-3/+54
2020-05-29Rollup merge of #72591 - sexxi-goose:rename_upvar_list-to-closure_captures, r...Dylan DPC-1/+1
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-1/+1
2020-05-27Add additional checks for isize overflowJoe Richey-3/+2
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-7/+7
2020-05-26Add checks and tests for computing abs(offset_bytes)Joe Richey-2/+3
2020-05-25Rename upvar_list to closure_capturesDhruv Jauhar-1/+1
2020-05-25librustc_mir: Add back use statementJoe Richey-0/+2
2020-05-25librustc_mir: Add support for const fn offset/arith_offsetJoe Richey-2/+51
2020-05-25fix discriminant_ty for non-enumsRalf Jung-2/+2
2020-05-25Add helper method for determining the type of a discriminantRalf Jung-39/+24
2020-05-25Format and more tracingRalf Jung-2/+2
2020-05-25assert that types without discriminant use variant idx of 0Ralf Jung-1/+2
2020-05-25comments and refactor variable namesRalf Jung-38/+46
2020-05-25Miri: refactor read_discriminant and make it return ScalarRalf Jung-68/+84
2020-05-24comment nitRalf Jung-1/+1
2020-05-24use helper method for determining size of int typeRalf Jung-15/+11
2020-05-24Fix unsizing castsRalf Jung-20/+18
2020-05-24Miri casts: do not blindly rely on dest typeRalf Jung-51/+76
2020-05-24make some cast helpers infallibleRalf Jung-29/+17
2020-05-23take mir::PlaceElem by valueBastian Kauschke-7/+7
2020-05-23iterate List by valueBastian Kauschke-2/+2
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-1/+1
2020-05-22Rollup merge of #71610 - divergentdave:InvalidUndefBytes-range, r=RalfJungRalf Jung-6/+8
2020-05-21fix discriminant sign extensionRalf Jung-1/+4
2020-05-21Auto merge of #70705 - lcnr:generic_discriminant, r=nikomatsakisbors-3/+6
2020-05-19update codegen of `discriminant_value`Bastian Kauschke-3/+6
2020-05-18Add asm! to MIRAmanieu d'Antras-0/+3
2020-05-16Auto merge of #71665 - RalfJung:miri-intern-no-ice, r=oli-obkbors-153/+180
2020-05-15InvalidUninitBytes: Track more info about accessDavid Cook-6/+8
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-2/+0
2020-05-12strings do not have to be valid UTF-8 any moreRalf Jung-3/+4
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-2/+0
2020-05-10TypoRalf Jung-1/+1
2020-05-10fmtRalf Jung-27/+16
2020-05-10avoid raising interpreter errors from interningRalf Jung-15/+24
2020-05-10remove some dead code, and assert we do not swallow allocating errorsRalf Jung-18/+19
2020-05-10Miri interning: replace ICEs by proper errors, make intern_shallow type signa...Ralf Jung-119/+147
2020-05-09Rollup merge of #71508 - oli-obk:alloc_map_unlock, r=RalfJungRalf Jung-19/+17
2020-05-08Auto merge of #71418 - hbina:rename_miri_undef, r=RalfJungbors-24/+24
2020-05-08Create a convenience wrapper for `get_global_alloc(id).unwrap()`Oliver Scherer-2/+2
2020-05-08Move `unwrap_fn` and `unwrap_memory` to `GlobalAlloc`Oliver Scherer-1/+1