about summary refs log tree commit diff
path: root/compiler/rustc_mir/src
AgeCommit message (Expand)AuthorLines
2021-07-25Auto merge of #85646 - Moxinilian:separate-const-switch, r=cjgillotbors-0/+345
2021-07-25clippy::useless_formatMatthias Krüger-8/+8
2021-07-25clippy:: append_instead_of_extendMatthias Krüger-3/+3
2021-07-25use vec![] macro to create Vector with first item inside instead of pushing t...Matthias Krüger-2/+2
2021-07-25Miri: santiy check that null pointer can never have an AllocIdRalf Jung-1/+5
2021-07-24Hide allocator details from TryReserveErrorKornel-0/+1
2021-07-24get rid of NoMirFor error variantRalf Jung-15/+4
2021-07-24rename Validator → CheckerRalf Jung-6/+6
2021-07-24rename const checking visitor module to check_consts::checkRalf Jung-3/+3
2021-07-24Auto merge of #86461 - crlf0710:rich_vtable, r=nikomatsakisbors-7/+7
2021-07-22Add a test for get_body_with_borrowck_facts.Vytautas Astrauskas-0/+9
2021-07-22Enable compiler consumers to obtain Body with Polonius facts.Vytautas Astrauskas-17/+94
2021-07-22Resolve nested inference variables.Oli Scherer-19/+7
2021-07-22Remove an unnecessary variableOli Scherer-2/+1
2021-07-22Make mir borrowck's use of opaque types independent of the typeck query's resultOli Scherer-87/+62
2021-07-21Rollup merge of #87311 - oli-obk:nll_suggestion_span, r=estebankGuillaume Gomez-4/+6
2021-07-21Rollup merge of #87273 - fee1-dead:impl-const-impl-bounds, r=oli-obkGuillaume Gomez-8/+11
2021-07-20Get back the more precise suggestion spans of old regionckOli Scherer-4/+6
2021-07-20Switch to store `Instance` directly within `VtblEntry`, fix `TraitVPtr` repre...Charles Lew-7/+3
2021-07-20Refactor vtable format.Charles Lew-0/+4
2021-07-20Auto merge of #87224 - RalfJung:miri-ptr-oob, r=oli-obkbors-4/+10
2021-07-20Auto merge of #87141 - spastorino:remove_impl_trait_in_bindings, r=oli-obkbors-72/+13
2021-07-19Iterate through impls only when permittedDeadbeef-8/+11
2021-07-18Move mir_def_id inside `eq_opaque_type_and_type`Santiago Pastorino-8/+5
2021-07-18Remove `sub_types_or_anon`Santiago Pastorino-30/+2
2021-07-18Add `sub_types` docsSantiago Pastorino-0/+1
2021-07-18Removing unhandled region constraint error that is only for impl_trait_in_bin...Santiago Pastorino-34/+5
2021-07-18miri: better ptr-out-of-bounds errorsRalf Jung-4/+10
2021-07-18Auto merge of #85686 - ptrojahn:loop_reinitialize, r=estebankbors-18/+74
2021-07-17Auto merge of #87123 - RalfJung:miri-provenance-overhaul, r=oli-obkbors-700/+634
2021-07-17Auto merge of #87195 - yaahc:move-assert_matches-again, r=oli-obkbors-1/+1
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-17/+19
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-56/+50
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-138/+118
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-40/+49
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung-518/+584
2021-07-13Auto merge of #87044 - cjgillot:expnhash, r=petrochenkovbors-1/+2
2021-07-13Cache expansion hash.Camille GILLOT-1/+2
2021-07-13Auto merge of #86857 - fee1-dead:add-attr, r=oli-obkbors-8/+37
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-12Auto merge of #86815 - FabianWolff:issue-84210, r=varkorbors-4/+20