about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/interpret
AgeCommit message (Expand)AuthorLines
2021-08-12Implement `black_box` using intrinsicGary Guo-1/+1
2021-08-04Auto merge of #86155 - alexcrichton:abort-on-unwind, r=nikomatsakisbors-7/+2
2021-08-04Rollup merge of #87720 - matthiaskrgr:clippy_into, r=jyn514Yuki Okushi-2/+2
2021-08-03Auto merge of #87515 - crlf0710:trait_upcasting_part2, r=bjorn3bors-10/+64
2021-08-03rustc: Fill out remaining parts of C-unwind ABIAlex Crichton-7/+2
2021-08-03don't use .into() to convert types to identical types (clippy::useless_conver...Matthias Krüger-2/+2
2021-08-03Small refactorings for miri.Charles Lew-17/+16
2021-08-03Implement pointer casting.Charles Lew-5/+60
2021-07-31CTFE: throw unsupported error when partially overwriting a pointerRalf Jung-4/+11
2021-07-25Miri: santiy check that null pointer can never have an AllocIdRalf Jung-1/+5
2021-07-18miri: better ptr-out-of-bounds errorsRalf Jung-4/+10
2021-07-17Auto merge of #87123 - RalfJung:miri-provenance-overhaul, r=oli-obkbors-629/+581
2021-07-16avoid manual Debug impls by adding extra Provenance bounds to typesRalf Jung-149/+46
2021-07-16rename assert_matches moduleJane Lusby-1/+1
2021-07-16get rid of incorrect erase_for_fmtRalf Jung-54/+48
2021-07-15make check_ptr_access_align work on function pointer allocationsRalf Jung-6/+12
2021-07-15enable Miri to fix the bytes in an allocation (since ptr offsets have differe...Ralf Jung-53/+41
2021-07-15adjustions and cleanup to make Miri build againRalf Jung-135/+115
2021-07-15Rollup merge of #86947 - m-ou-se:assert-matches-to-submodule, r=yaahcYuki Okushi-0/+1
2021-07-14remove unused error variantRalf Jung-8/+3
2021-07-14more precise message for the ptr access check on derefRalf Jung-8/+7
2021-07-14use NonZeroU64 for AllocId to restore old type sizesRalf Jung-7/+7
2021-07-14consistently treat None-tagged pointers as ints; get rid of some deprecated S...Ralf Jung-27/+35
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung-459/+544
2021-07-12remove unnecessary deallocate_local hackRalf Jung-15/+8
2021-07-12remove remaining use of Pointer in Allocation APIRalf Jung-2/+2
2021-07-09Rollup merge of #87000 - m-ou-se:const-panic-track-caller, r=oli-obkMara Bos-2/+11
2021-07-09Use #[track_caller] in const panic diagnostics.Mara Bos-2/+11
2021-07-08PR feedbackScott McMurray-1/+2
2021-07-08Stop generating `alloca`s+`memcmp` for simple array equalityScott McMurray-0/+18
2021-07-08Move [debug_]assert_matches to mod {core, std}::assert.Mara Bos-0/+1
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-1/+1
2021-07-04Query-ify global limit attribute handlingAaron Hill-0/+5
2021-07-03Make vtable_allocation always succeedSmitty-1/+1
2021-07-02Allocation failure in constprop panics right awaySmitty-1/+4
2021-06-29Unwrap allocated Location at creationSmitty-9/+8
2021-06-29Support allocation failures when interperting MIRSmitty-16/+19
2021-06-28Update other codegens to use tcx managed vtable allocations.Charles Lew-91/+6
2021-06-27Change miri to use tcx allocated allocations.Charles Lew-29/+36
2021-06-16Auto merge of #86291 - crlf0710:trait_vtbl_refactor, r=bjorn3bors-35/+57
2021-06-15Refactor to make interpreter and codegen backend neutral to vtable internal r...Charles Lew-35/+57
2021-06-14Adjust `throw_validation_failure` macro to shorten the use of `with_no_trimme...Rémy Rakic-13/+10
2021-06-13Improve CTFE validation error messageRémy Rakic-8/+12
2021-06-13Turn incorrect vtable size/alignment errors into hard const-UB errorsRémy Rakic-9/+10
2021-06-12Rollup merge of #86174 - lqd:const-ub-align, r=RalfJungYuki Okushi-1/+3
2021-06-09detect incorrect vtable alignment during const eval instead of ICE-ingRémy Rakic-1/+3
2021-06-05Explain that `ensure_monomorphic_enough` omission is intentionalTomasz Miąsko-0/+2
2021-06-05Disallow non-monomorphic calls to `needs_drop` in interpreterTomasz Miąsko-1/+4
2021-06-04Rollup merge of #85963 - m-ou-se:constructor-type-name, r=yaahcYuki Okushi-6/+1
2021-06-03Show `::{{constructor}}` in std::any::type_name().Mara Bos-6/+1