about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2023-09-19move ConstValue into mirRalf Jung-14/+14
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-7/+7
2023-09-14Auto merge of #115804 - RalfJung:valtree-to-const-val, r=oli-obkbors-51/+52
2023-09-14don't force all slice-typed ConstValue to be ConstValue::SliceRalf Jung-36/+29
2023-09-14valtree_to_const_value: add fast-path for Scalar tuples/structsRalf Jung-1/+16
2023-09-14cleanup op_to_const a bit; rename ConstValue::ByRef → IndirectRalf Jung-26/+13
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-4/+1
2023-09-14a bit of cleanup in valtree_to_const_valueRalf Jung-51/+37
2023-09-12cleanup leftovers of const_err lintRalf Jung-23/+4
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-7/+7
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-0/+1
2023-08-20avoid return in tail positionRalf Jung-1/+1
2023-08-20interpret: have assert_* intrinsics call the panic machinery instead of a dir...Ralf Jung-7/+8
2023-08-19const-eval: ensure we never const-execute a function marked rustc_do_not_cons...Ralf Jung-32/+21
2023-08-08Auto merge of #114545 - fee1-dead-contrib:lower-impl-effect, r=oli-obkbors-1/+1
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-06lower impl const to bind to host effect paramDeadbeef-1/+1
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-3/+3
2023-07-29Rollup merge of #113773 - compiler-errors:err-layout-bail, r=cjgillotMatthias Krüger-1/+4
2023-07-27Dont report CTFE errors that are due to references-error layoutsMichael Goulet-1/+4
2023-07-27bless clippyDeadbeef-5/+8
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-2/+0
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-2/+2
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-2/+2
2023-07-25make MPlaceTy non-CopyRalf Jung-6/+6
2023-07-25interpret: make read functions generic over operand typeRalf Jung-4/+4
2023-07-25interpret: make write functions generic over the place typeRalf Jung-4/+4
2023-07-25interpret: read_discriminant: only return VariantIdxRalf Jung-2/+2
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-13/+11
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-4/+5
2023-07-21CTFE: move `target_{i, u}size_{min, max)` to `rustc_abi::TargetDataLayout`Moulins-4/+3
2023-07-21support non-null pointer niches in CTFEMoulins-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-9/+9
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-2/+2
2023-07-11miri: protect Move() function arguments during the callRalf Jung-5/+7
2023-07-05Name the destructure_mir_constant query appropriatelyOli Scherer-1/+1
2023-07-05Use options instead of errors if the errors are never neededOli Scherer-12/+10
2023-07-05Specialize `DestructuredConstant` to its one user (pretty printing)Oli Scherer-1/+1
2023-07-05Specialize `try_destructure_mir_constant` for its sole userOli Scherer-5/+6
2023-06-26Make simd_shuffle_indices use valtreesOli Scherer-1/+0
2023-06-24Add enum for `can_access_statics` booleanNilstrieb-12/+34
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-199/+228
2023-06-01Auto merge of #103877 - oli-obk:const_eval_step_limit, r=fee1-deadbors-19/+66
2023-05-31Remove `deref_mir_constant`Oli Scherer-38/+1
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-19/+66
2023-05-17Finish move of query.rsJohn Kåre Alsaker-1/+2
2023-05-16Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obkNilstrieb-3/+3
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1