about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-169/+132
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-9/+10
2022-06-13Rollup merge of #98043 - TaKO8Ki:remove-unnecessary-to-string, r=davidtwcoMatthias Krüger-1/+1
2022-06-13Rollup merge of #97960 - RalfJung:offset-from, r=oli-obkMatthias Krüger-67/+70
2022-06-13remove unnecessary `to_string` and `String::new`Takayuki Maeda-1/+1
2022-06-11Try out `yeet` in the MIR interpreterScott McMurray-0/+1
2022-06-11Rollup merge of #97761 - RalfJung:vtable-validation, r=cjgillotDylan DPC-0/+8
2022-06-09interpret: unify offset_from check with offset checkRalf Jung-67/+70
2022-06-09Auto merge of #97740 - RalfJung:ctfe-cycle-spans, r=lcnrbors-19/+23
2022-06-08Rollup merge of #97763 - RalfJung:fallible-cast, r=lcnrDylan DPC-6/+7
2022-06-08Auto merge of #97447 - nnethercote:improve-folding, r=jackh726bors-2/+2
2022-06-08Folding revamp.Nicholas Nethercote-2/+2
2022-06-07Remove `AlwaysLiveLocals` wrapper structTomasz Miąsko-4/+4
2022-06-06Auto merge of #97795 - Dylan-DPC:rollup-dxilagr, r=Dylan-DPCbors-6/+1
2022-06-06Auto merge of #97684 - RalfJung:better-provenance-control, r=oli-obkbors-18/+45
2022-06-05interpret: do not claim UB until we looked more into variadic functionsRalf Jung-6/+1
2022-06-05validating the vtable can lead to Stacked Borrows errorsRalf Jung-0/+8
2022-06-05Allow ptr_from_addr_cast to failRalf Jung-6/+7
2022-06-05reduce code duplicationRalf Jung-13/+12
2022-06-05interpret: better control over whether we read data with provenance, and impl...Ralf Jung-18/+46
2022-06-04use precise spans for recursive const evaluationRalf Jung-3/+4
2022-06-04const_prop_lint: ensure we have up-to-date cur_span()Ralf Jung-1/+4
2022-06-04Move statement_index increment out of statement() functionRalf Jung-9/+9
2022-06-04tweak some bug!sRalf Jung-6/+6
2022-06-03Rollup merge of #97663 - RalfJung:keine-halben-sachen, r=oli-obkDylan DPC-3/+3
2022-06-02take back half-baked noaliasing check in AssignmentRalf Jung-3/+3
2022-06-02commentRalf Jung-1/+1
2022-06-02add cast kind of from_exposed_addr (int-to-ptr casts)Ralf Jung-21/+34
2022-06-02Rollup merge of #97626 - RalfJung:expose, r=tmiaskoYuki Okushi-5/+5
2022-06-01rename PointerAddress → PointerExposeAddressRalf Jung-5/+5
2022-06-01Rollup merge of #97216 - RalfJung:null-ptr-check, r=oli-obkYuki Okushi-0/+4
2022-05-31Add a pointer to address cast kindTomasz Miąsko-36/+30
2022-05-30Rollup merge of #97395 - RalfJung:call-abi, r=oli-obkMichael Goulet-1/+8
2022-05-30Auto merge of #97025 - ouz-a:mini-derefer-generator, r=davidtwcobors-1/+10
2022-05-30validate derefer, run derefer inside generatorouz-a-1/+10
2022-05-30Auto merge of #96964 - oli-obk:const_trait_mvp, r=compiler-errorsbors-24/+16
2022-05-30Reduce the scope of a mutable variableOli Scherer-7/+2
2022-05-30Add a helper function for checking whether a default function in a trait can ...Oli Scherer-11/+8
2022-05-30Remove `#[default..]` and add `#[const_trait]`Deadbeef-12/+12
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-5/+5
2022-05-28Initial fixes on top of type interner commitMichael Goulet-4/+4
2022-05-28Move things to rustc_type_irWilco Kusee-3/+3
2022-05-27Auto merge of #96046 - oli-obk:const_typeck, r=cjgillotbors-8/+4
2022-05-26clippy::complexity fixesMatthias Krüger-7/+3
2022-05-25Miri call ABI check: ensure type size+align stay the sameRalf Jung-1/+8
2022-05-24Remove outdated commentOli Scherer-4/+0
2022-05-24Add the transmute and asm checks to typeck as deferred checksOli Scherer-4/+4
2022-05-24Add flag for stricter checks on uninit/zeroed5225225-3/+11
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-53/+66
2022-05-22Lifetime variance fixes for rustcMichael Goulet-4/+4