about summary refs log tree commit diff
path: root/compiler/rustc_mir
AgeCommit message (Expand)AuthorLines
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
2021-07-10rustc_span: Revert addition of `proc_macro` field to `ExpnKind::Macro`Vadim Petrochenkov-5/+2
2021-07-11Rollup merge of #87028 - aDotInTheVoid:patch-1, r=petrochenkovYuki Okushi-1/+1
2021-07-10Fix typo: `satic` -> `static`Nixon Enraght-Moony-1/+1
2021-07-10Update testsDeadbeef-1/+1
2021-07-10Update CTFE to allow fns marked with the attrDeadbeef-6/+9
2021-07-10Permit calls to default const fns of impl constDeadbeef-7/+25
2021-07-10functions marked with attr are not constDeadbeef-3/+0
2021-07-10Skip check for calling functions in same traitDeadbeef-3/+11
2021-07-10Treat trait fns marked with the attr as constDeadbeef-1/+4
2021-07-10remove const_raw_ptr_to_usize_cast featureRalf Jung-40/+16
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-08Rework SESSION_GLOBALS API to prevent overwriting itGuillaume Gomez-2/+2
2021-07-08Move [debug_]assert_matches to mod {core, std}::assert.Mara Bos-0/+1
2021-07-07Auto merge of #86901 - sexxi-goose:query_remove, r=nikomatsakisbors-2/+4
2021-07-06Make type_implements_trait not a queryAman Arora-2/+4
2021-07-06Store macro parent module in ExpnData.Camille GILLOT-1/+1
2021-07-05Auto merge of #86674 - Aaron1011:new-querify-limits, r=michaelwoeristerbors-12/+39
2021-07-05Rollup merge of #86862 - tmiasko:re-export-SwitchIntEdgeEffects, r=jonas-schi...Yuki Okushi-1/+1
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-7/+7
2021-07-04Auto merge of #86866 - nikomatsakis:issue-84841, r=oli-obkbors-13/+13
2021-07-04Query-ify global limit attribute handlingAaron Hill-12/+39
2021-07-04remove some ad-hoc has_infer_types checks that aren't needed anymoreNiko Matsakis-15/+13
2021-07-04allow inference vars in type_implements_traitNiko Matsakis-1/+3
2021-07-04re-export SwitchIntEdgeEffectsTomasz Miąsko-1/+1
2021-07-04Auto merge of #86255 - Smittyvb:mir-alloc-oom, r=RalfJung,oli-obkbors-13/+26
2021-07-03add note about MAX_ALLOC_LIMITSmittyvb-1/+1