about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2021-07-22Auto merge of #87265 - Aaron1011:hir-wf-fn, r=estebankbors-9/+34
2021-07-22Auto merge of #87246 - rust-lang:placeholder-pretty, r=nikomatsakisbors-35/+107
2021-07-21Rename force-warns to force-warnRyan Levick-1/+1
2021-07-20Support HIR wf checking for function signaturesAaron Hill-9/+34
2021-07-20Auto merge of #87244 - jackh726:issue-71883, r=estebankbors-0/+3
2021-07-20Auto merge of #87224 - RalfJung:miri-ptr-oob, r=oli-obkbors-14/+30
2021-07-19Better diagnostics when mismatched types due to implict static lifetimejackh726-0/+3
2021-07-19Rollup merge of #87268 - SkiFire13:fix-uninit-ref-list, r=nagisaGuillaume Gomez-6/+6
2021-07-19Don't create references to uninitialized data in List::from_arenaGiacomo Stevanato-6/+6
2021-07-18Auto merge of #86698 - cjgillot:modc, r=estebankbors-1249/+54
2021-07-18Remove deadlock virtual call.Camille GILLOT-4/+1
2021-07-18Move OnDiskCache to rustc_query_impl.Camille GILLOT-1247/+55
2021-07-18miri: better ptr-out-of-bounds errorsRalf Jung-14/+30
2021-07-18When pretty printing, name placeholders as bound regionsjackh726-35/+107
2021-07-18Rollup merge of #87205 - matthiaskrgr:clippy_cln, r=oli-obkYuki Okushi-3/+2
2021-07-18Rollup merge of #87092 - ricobbe:fix-raw-dylib-multiple-definitions, r=petroc...Yuki Okushi-3/+3
2021-07-17Auto merge of #86676 - cjgillot:localexpn, r=petrochenkovbors-37/+66
2021-07-17Pass ExpnData by reference.Camille GILLOT-1/+1
2021-07-17Always hash spans in expn.Camille GILLOT-1/+1
2021-07-17Encode ExpnId using ExpnHash for incr. comp.Camille GILLOT-37/+61
2021-07-17Choose encoding format in caller code.Camille GILLOT-10/+13
2021-07-17Make the CrateNum part of the ExpnId.Camille GILLOT-5/+13
2021-07-17Auto merge of #87123 - RalfJung:miri-provenance-overhaul, r=oli-obkbors-320/+311
2021-07-17Auto merge of #86761 - Alexhuszagh:master, r=estebankbors-1/+0
2021-07-17Changed dec2flt to use the Eisel-Lemire algorithm.Alex Huszagh-1/+0
2021-07-17Auto merge of #87195 - yaahc:move-assert_matches-again, r=oli-obkbors-1/+1
2021-07-17rustc_middle: remove redundant cloneMatthias Krüger-3/+2
2021-07-16Auto merge of #83898 - Aaron1011:feature/hir-wf, r=estebankbors-5/+26
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-5/+26
2021-07-16Consider all fields when comparing DllImports, to remove nondetermininsm in m...Richard Cobbe-3/+3
2021-07-16avoid manual Debug impls by adding extra Provenance bounds to typesRalf Jung-3/+5
2021-07-16Rollup merge of #87200 - oli-obk:fixup_fixup_opaque_types, r=nikomatsakisGuillaume Gomez-1/+1
2021-07-16Infer all inference variables via InferCxOli Scherer-1/+1
2021-07-16rename assert_matches moduleJane Lusby-1/+1
2021-07-16add some comments regarding the two major quirks of our memory modelRalf Jung-1/+8
2021-07-16get rid of incorrect erase_for_fmtRalf Jung-62/+30
2021-07-16Auto merge of #86993 - jackh726:project-gat-binders, r=nikomatsakisbors-1/+2
2021-07-15tweak pointer out-of-bounds error messageRalf Jung-5/+15
2021-07-15Auto merge of #83319 - tmiasko:packed-aligned, r=jackh726bors-2/+7
2021-07-15Separate encoding paths.Camille GILLOT-10/+4
2021-07-15Layout error instead of an ICE for packed and aligned typesTomasz Miąsko-2/+7
2021-07-15enable Miri to fix the bytes in an allocation (since ptr offsets have differe...Ralf Jung-16/+24
2021-07-15adjustions and cleanup to make Miri build againRalf Jung-63/+16
2021-07-15Rollup merge of #86947 - m-ou-se:assert-matches-to-submodule, r=yaahcYuki Okushi-0/+1
2021-07-15Rollup merge of #86478 - ehuss:future-incompat-test, r=oli-obkYuki Okushi-7/+7
2021-07-14remove unused error variantRalf Jung-3/+0
2021-07-14more precise message for the ptr access check on derefRalf Jung-1/+8
2021-07-14use NonZeroU64 for AllocId to restore old type sizesRalf Jung-6/+7
2021-07-14consistently treat None-tagged pointers as ints; get rid of some deprecated S...Ralf Jung-88/+78
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung-200/+248