about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
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-3/+3
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-3/+3
2023-11-01Comment `for_diagnostics` flag.Camille GILLOT-0/+5
2023-11-01Specify diagnostic path.Camille GILLOT-6/+13
2023-11-01Rename hook.Camille GILLOT-1/+1
2023-11-01Do not assert in op_to_const.Camille GILLOT-2/+2
2023-10-28patterns: reject raw pointers that are not just integersRalf Jung-10/+27
2023-10-28interpret: call caller_location logic the same way codegen does, and share so...Ralf Jung-17/+22
2023-10-23Split `eval_to_allocation_raw_provider`Oli Scherer-2/+9
2023-10-23Pull out const error reporting into its own functionOli Scherer-31/+32
2023-10-23Pull mplace validation logic out into an interpreter methodOli Scherer-20/+32
2023-10-23The mutability was ignored anyway, so just check for staticnessOli Scherer-4/+7
2023-10-20s/generator/coroutine/Oli Scherer-2/+2
2023-10-20s/Generator/Coroutine/Oli Scherer-4/+4
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-2/+4
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-2/+7
2023-10-14Auto merge of #115524 - RalfJung:misalign, r=wesleywiserbors-61/+8
2023-10-13Format all the let chains in compilerMichael Goulet-2/+7
2023-10-01Auto merge of #115670 - Zoxc:outline-panic-macro-1, r=Mark-Simulacrumbors-1/+1
2023-09-26const-eval: make misalignment a hard errorRalf Jung-61/+8
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+1
2023-09-22Add a way to decouple the implementation and the declaration of a TyCtxt method.Oli Scherer-3/+4
2023-09-21Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obkbors-2/+2
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-2/+2
2023-09-19adjust constValue::Slice to work for arbitrary slice typesRalf Jung-9/+16
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-08Partially outline code inside the panic! macroJohn Kåre Alsaker-1/+1
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