about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
2022-06-28make `get_relocations` privateRémy Rakic-6/+11
2022-06-22Rollup merge of #98099 - RalfJung:convert_tag_add_extra, r=oli-obkYuki Okushi-6/+6
2022-06-19Use `ensure` for `UnusedBrokenConst`.Camille GILLOT-1/+34
2022-06-17Auto merge of #98097 - lqd:const-alloc-hash, r=oli-obkbors-2/+75
2022-06-16adjust const alloc interning partial hash commentsRémy Rakic-4/+8
2022-06-16ctfe: limit hashing of big const allocations when interningRémy Rakic-2/+71
2022-06-16interpret: convert_tag_add_extra, init_allocation_extra: allow tagger to rais...Ralf Jung-6/+6
2022-06-14address reviewb-naber-20/+4
2022-06-14address reviewb-naber-2/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-7/+74
2022-06-11Try out `yeet` in the MIR interpreterScott McMurray-5/+5
2022-06-09Auto merge of #97740 - RalfJung:ctfe-cycle-spans, r=lcnrbors-3/+16
2022-06-08Use delayed error handling for `Encodable` and `Encoder` infallible.Nicholas Nethercote-8/+7
2022-06-06Auto merge of #97684 - RalfJung:better-provenance-control, r=oli-obkbors-29/+54
2022-06-05interpret: better control over whether we read data with provenance, and impl...Ralf Jung-29/+54
2022-06-04use precise spans for recursive const evaluationRalf Jung-3/+16
2022-06-03Use serde_json for target spec jsonbjorn3-1/+1
2022-05-28Make TyCtxt implement Interner, make HashStable generic and move to rustc_typ...Michael Goulet-7/+7
2022-05-28Move things to rustc_type_irWilco Kusee-7/+7
2022-05-24Add the transmute and asm checks to typeck as deferred checksOli Scherer-7/+0
2022-05-22Lifetime variance fixes for rustcMichael Goulet-18/+18
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-2/+2
2022-05-20Rollup merge of #97185 - RalfJung:number-validity, r=oli-obkGuillaume Gomez-4/+7
2022-05-19interpret/validity: separately control checking numbers for being init and no...Ralf Jung-4/+7
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-5/+17
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-5/+8
2022-05-13Rustc changes for permissive provenancecarbotaniuman-5/+8
2022-05-02fix most compiler/ doctestsElliot Roberts-5/+5
2022-04-21deduplicate a lot of codeb-naber-5/+1
2022-04-21implement valtree -> constvalue conversionb-naber-1/+6
2022-04-20Rollup merge of #96160 - RalfJung:interpret-debug, r=oli-obkDylan DPC-0/+8
2022-04-19Rollup merge of #96165 - RalfJung:miri-provenance-cleanup, r=oli-obkDylan DPC-0/+17
2022-04-18avoid an unnecessary call to Pointer::into_parts, and caution against into_po...Ralf Jung-0/+4
2022-04-18add method to get absolute address of a pointer (useful only for Miri)Ralf Jung-0/+10
2022-04-18avoid pairing up AllocId and PointerTag, which is redundantRalf Jung-0/+3
2022-04-17explain why prepare_relocation_copy works the way it doesRalf Jung-4/+11
2022-04-17add caution to some commentsRalf Jung-1/+7
2022-04-17when writing uninit to an allocation, also clear relocations like other write...Ralf Jung-3/+9
2022-04-17add log warnings for when we overwrite parts of a pointer, and de-init the restRalf Jung-0/+8
2022-04-09Rollup merge of #95785 - RalfJung:interpret-size-mismatch, r=oli-obkDylan DPC-16/+46
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-16/+46
2022-04-05trivial cfg(bootstrap) changesPietro Albini-1/+1
2022-03-31interpret: make isize::MAX the limit for dynamic value sizesRalf Jung-0/+5
2022-03-30Rollup merge of #95461 - nyurik:spelling, r=lcnrDylan DPC-1/+1
2022-03-30Spellchecking compiler codeYuri Astrakhan-1/+1
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-0/+11
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-1/+4
2022-03-22fix previous failures and address reviewb-naber-1/+1
2022-03-21stall on on constants that contain infer vars in const_eval_resolveb-naber-0/+8