summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval/valtrees.rs
AgeCommit message (Expand)AuthorLines
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-12patterns: don't ice when encountering a raw str sliceRalf Jung-4/+9
2023-11-08Auto merge of #116930 - RalfJung:raw-ptr-match, r=davidtwcobors-10/+27
2023-11-03Auto merge of #117507 - nnethercote:rustc_span, r=Nilstriebbors-1/+1
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
2023-11-01Specify diagnostic path.Camille GILLOT-2/+2
2023-10-28patterns: reject raw pointers that are not just integersRalf Jung-10/+27
2023-10-20s/Generator/Coroutine/Oli Scherer-4/+4
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+1
2023-09-19move ConstValue into mirRalf Jung-6/+7
2023-09-14valtree_to_const_value: add fast-path for Scalar tuples/structsRalf Jung-1/+16
2023-09-14a bit of cleanup in valtree_to_const_valueRalf Jung-51/+37
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-3/+3
2023-08-06simplify handling of valtrees for unsized typesRalf Jung-71/+28
2023-08-06remove an unnecessary special case in valtree_into_mplaceRalf Jung-40/+3
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-1/+1
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-1/+1
2023-07-26valtree: a bit of cleanupRalf Jung-15/+15
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-1/+1
2023-07-25make MPlaceTy non-CopyRalf Jung-4/+4
2023-07-25interpret: make read functions generic over operand typeRalf Jung-3/+3
2023-07-25interpret: make write functions generic over the place typeRalf Jung-4/+4
2023-07-25interpret: read_discriminant: only return VariantIdxRalf Jung-1/+1
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-11/+9
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2023-06-24Add enum for `can_access_statics` booleanNilstrieb-1/+6
2023-04-28interpret: fail more gracefully on uninit unsized localsRalf Jung-1/+1
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-1/+2
2023-03-25Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray-2/+2
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-3/+3
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+2
2022-12-13Combine identical alias armsMichael Goulet-5/+3
2022-12-13Combine projection and opaque into aliasMichael Goulet-4/+4
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-2/+2
2022-09-09The `<*const T>::guaranteed_*` methods now return an option for the unknown caseOli Scherer-1/+1
2022-09-01tracing::instrument cleanupOli Scherer-12/+6
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-10/+5
2022-07-15interpret/visitor: support visiting with a PlaceTyRalf Jung-1/+1
2022-07-09tweak names and output and blessRalf Jung-1/+1
2022-07-09review feedbackRalf Jung-1/+1
2022-07-09don't allow ZST in ScalarIntRalf Jung-6/+2
2022-06-29interpret: add From<&MplaceTy> for PlaceTyRalf Jung-5/+5
2022-06-14correctly create Scalar for meta infob-naber-3/+7
2022-06-14address reviewb-naber-7/+21
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-36/+15
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-61/+82
2022-05-12fix clippy expect_fun_callklensy-1/+3
2022-04-27combine all unsized types and add another recursive call to process nested un...b-naber-88/+77
2022-04-26account for custom DSTs in valtree -> constvalue conversionb-naber-5/+113