about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2022-07-14interpret/validity: improve some commentsRalf Jung-2/+4
2022-07-14Use constant eval to do strict validity checks5225225-30/+74
2022-07-14rename MPlaceTy::dangling to fake_alloc_zstRalf Jung-2/+4
2022-07-14Remove comment referring to constness.rsDaniel Bevenius-2/+0
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-6/+6
2022-07-13Auto merge of #99210 - Dylan-DPC:rollup-879cp1t, r=Dylan-DPCbors-4/+4
2022-07-13Auto merge of #98145 - ouz-a:some_branch, r=oli-obkbors-1/+23
2022-07-13get rid of MemPlaceMeta::PoisonRalf Jung-21/+10
2022-07-13Rollup merge of #99011 - oli-obk:UnsoundCell, r=eddybDylan DPC-4/+4
2022-07-13Auto merge of #99101 - RalfJung:interpret-projections, r=oli-obkbors-432/+540
2022-07-12add new rval, pull deref earlyouz-a-1/+23
2022-07-11use a loop rather than try_foldRalf Jung-23/+21
2022-07-11interpret: refactor projection handling codeRalf Jung-421/+531
2022-07-11Rollup merge of #99140 - TaKO8Ki:implement-is-accessible-span, r=fee1-deadDylan DPC-1/+1
2022-07-11rename a methodTakayuki Maeda-1/+1
2022-07-11implement `is_accessible_span`Takayuki Maeda-1/+1
2022-07-11Deny floats even when adt_const_params is enabledMichael Goulet-1/+1
2022-07-09Auto merge of #98957 - RalfJung:zst-are-different, r=lcnr,oli-obkbors-14/+11
2022-07-09tweak names and output and blessRalf Jung-3/+3
2022-07-09review feedbackRalf Jung-3/+3
2022-07-09don't allow ZST in ScalarIntRalf Jung-14/+11
2022-07-09Rollup merge of #99050 - JakobDegen:storage-docs, r=tmiaskoMatthias Krüger-1/+7
2022-07-09Rollup merge of #99022 - pierwill:always-storage-live-locals, r=pierwillMatthias Krüger-4/+4
2022-07-09Rollup merge of #98980 - RalfJung:const-prop-ice, r=oli-obkDylan DPC-7/+11
2022-07-08Clarify MIR semantics of storage statementsJakob Degen-1/+7
2022-07-08interpret: only to track_caller in debug builds due to perfRalf Jung-4/+4
2022-07-08Migrate MutDeref, TransientMutBorrow diagnosticsMichael Goulet-18/+40
2022-07-08Migrate PanicNonStr, RawPtrComparison, RawPtrToInt diagnosticsMichael Goulet-23/+30
2022-07-08Migrate StaticAccess diagnosticMichael Goulet-19/+21
2022-07-08Migrate NonConstOp diagnosticMichael Goulet-7/+9
2022-07-08Migrate unstable-in-stable diagnosticMichael Goulet-20/+25
2022-07-07MIR dataflow: Rename function to `always_storage_live_locals`pierwill-4/+4
2022-07-07Rollup merge of #98979 - RalfJung:more-alloc-range, r=oli-obkMatthias Krüger-2/+2
2022-07-07make a name less ambiguousRalf Jung-7/+7
2022-07-07Rollup merge of #98930 - tmiasko:pub-basic-blocks, r=oli-obkDylan DPC-2/+3
2022-07-07Rollup merge of #96856 - DrMeepster:fix_projection_validation, r=IcnrDylan DPC-6/+43
2022-07-07`UnsafeCell` now has no niches, ever.Oli Scherer-4/+4
2022-07-07Make MIR basic blocks field publicTomasz Miąsko-2/+3
2022-07-06Auto merge of #98831 - RalfJung:no-more-unsized-locals, r=oli-obkbors-223/+243
2022-07-06Rollup merge of #98519 - TaKO8Ki:add-head-span-field-to-item-and-impl-item, r...Guillaume Gomez-3/+2
2022-07-06deduplicate some copy_op codeRalf Jung-87/+74
2022-07-06support passing unsized fn argumentsRalf Jung-12/+54
2022-07-06interpret: remove LocalValue::Unallocated, add Operand::UninitRalf Jung-149/+140
2022-07-06fix ICE in ConstPropRalf Jung-5/+5
2022-07-06add track_caller to some interpreter functionsRalf Jung-0/+4
2022-07-06interpret: use AllocRange in UninitByteAccessRalf Jung-2/+2
2022-07-06replace `guess_head_span` with `def_span`Takayuki Maeda-3/+2
2022-07-06Rollup merge of #98968 - RalfJung:scalar-sanity, r=oli-obkDylan DPC-4/+3
2022-07-06Rollup merge of #98964 - RalfJung:typo, r=Dylan-DPCDylan DPC-3/+3
2022-07-06fix projectionelem validationDrMeepster-6/+43