about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2023-08-16Make TerminatorEdge plural.Camille GILLOT-2/+2
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-5/+8
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-3/+2
2023-08-08Auto merge of #114637 - matthiaskrgr:rollup-544y8p5, r=matthiaskrgrbors-11/+2
2023-08-08Rollup merge of #114615 - RalfJung:interpret-invalid-where, r=lcnrMatthias Krüger-11/+2
2023-08-08Auto merge of #114545 - fee1-dead-contrib:lower-impl-effect, r=oli-obkbors-12/+8
2023-08-08interpret: remove incomplete protection against invalid where clausesRalf Jung-11/+2
2023-08-08Auto merge of #114520 - RalfJung:unsized-valtrees, r=oli-obkbors-121/+45
2023-08-07Rollup merge of #114382 - scottmcm:compare-bytes-intrinsic, r=cjgillotMatthias Krüger-0/+22
2023-08-06Add a new `compare_bytes` intrinsic instead of calling `memcmp` directlyScott McMurray-0/+22
2023-08-07Rollup merge of #114542 - RalfJung:const-prop-nonsense, r=compiler-errorsMatthias Krüger-4/+5
2023-08-06simplify handling of valtrees for unsized typesRalf Jung-82/+43
2023-08-06remove an unnecessary special case in valtree_into_mplaceRalf Jung-40/+3
2023-08-06Rollup merge of #114505 - ouz-a:cleanup_mir, r=RalfJungMatthias Krüger-1/+1
2023-08-06cleanup misinformation regarding has_derefouz-a-1/+1
2023-08-06lower impl const to bind to host effect paramDeadbeef-12/+8
2023-08-06interpret: use ConstPropNonsense for more const-prop induced issuesRalf Jung-4/+5
2023-08-04interpret: add mplace_to_ref helper methodRalf Jung-6/+14
2023-08-03Rollup merge of #114372 - RalfJung:const-pointer-as-int, r=oli-obkMatthias Krüger-161/+203
2023-08-03Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726Matthias Krüger-2/+2
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-161/+203
2023-08-02Remove constness from `TraitPredicate`Deadbeef-3/+3
2023-08-02avoid 'miri' when refering to the shared interpreterRalf Jung-2/+2
2023-08-02Rollup merge of #114079 - compiler-errors:closure-upvars, r=oli-obkNilstrieb-2/+3
2023-08-02Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obkbors-26/+33
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-2/+3
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-14/+22
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-12/+11
2023-07-31fix alignment handling for Repeat expressionsRalf Jung-4/+4
2023-07-29Rollup merge of #113773 - compiler-errors:err-layout-bail, r=cjgillotMatthias Krüger-1/+4
2023-07-28Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obkbors-30/+38
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-25/+30
2023-07-27Rollup merge of #114123 - oli-obk:tait_wtf, r=WaffleLapkinGuillaume Gomez-6/+9
2023-07-27Turns out opaque types can have hidden types registered during mir validationOli Scherer-6/+9
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-69/+52
2023-07-26Auto merge of #113843 - wesleywiser:replace_rustc_apfloat, r=pnkfelixbors-1/+1
2023-07-26Replace in-tree `rustc_apfloat` with the new version of the crateWesley Wiser-1/+1
2023-07-26Auto merge of #114071 - RalfJung:interpret-generic-read-write, r=oli-obkbors-244/+276
2023-07-26valtree: a bit of cleanupRalf Jung-15/+15
2023-07-25Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnrMatthias Krüger-3/+8
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-69/+52
2023-07-25make MPlaceTy non-CopyRalf Jung-16/+16
2023-07-25interpret: make read functions generic over operand typeRalf Jung-81/+83
2023-07-25interpret: make write functions generic over the place typeRalf Jung-139/+169
2023-07-25Auto merge of #113393 - compiler-errors:next-solver-unsize-rhs, r=lcnrbors-3/+6
2023-07-25Make everything builtin!Michael Goulet-3/+6
2023-07-25Auto merge of #114011 - RalfJung:place-projection, r=oli-obkbors-1145/+955
2023-07-25add some sanity checks in write_immediate_no_validateRalf Jung-3/+28