about summary refs log tree commit diff
path: root/src/librustc_mir/interpret/operand.rs
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-736/+0
2020-08-08Miri: Renamed "undef" to "uninit"Philippe Nadon-1/+1
2020-07-27Auto merge of #74775 - RalfJung:miri-alloc-ids, r=oli-obkbors-17/+11
2020-07-27rename eval_const_to_op -> const_to_opRalf Jung-7/+3
2020-07-26Miri: replace canonical_alloc_id mechanism by extern_static_alloc_id which is...Ralf Jung-10/+8
2020-07-25Miri: rename "undef" to "uninit"Philippe Nadon-3/+3
2020-07-22renamed ScalarMaybeUninit::not_undef to check_initPhilippe Nadon-2/+2
2020-07-15ConstKind::UnevaluatedBastian Kauschke-2/+2
2020-06-28Rollup merge of #73757 - oli-obk:const_prop_hardening, r=wesleywiserManish Goregaokar-1/+5
2020-06-28Erase all block-only locals at the end of every block, even if they have not ...Oliver Scherer-1/+5
2020-06-27Rollup merge of #72796 - RalfJung:mir-assign-sanity, r=matthewjasperManish Goregaokar-1/+3
2020-06-26Show the values and computation that would overflow a const evaluation or pro...Oliver Scherer-1/+14
2020-06-22also use relator in interpreter assignment sanity checkRalf Jung-1/+3
2020-06-21Miri: replace many bug! by span_bug!Ralf Jung-6/+9
2020-06-19Rollup merge of #72497 - RalfJung:tag-term, r=oli-obkRalf Jung-18/+15
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-1/+1
2020-06-14keep root_span and tcx togetherRalf Jung-8/+8
2020-06-12make miri InterpCx TyCtxtAt a TyCtxt, and separately remember the root span o...Ralf Jung-8/+8
2020-05-30miri errors: rename InvalidDiscriminant -> InvalidTagRalf Jung-4/+4
2020-05-30tag/niche terminology cleanupRalf Jung-15/+12
2020-05-30Rollup merge of #72419 - RalfJung:read-discriminant, r=oli-obk,eddybYuki Okushi-68/+95
2020-05-30more type sanity checks in MiriRalf Jung-2/+10
2020-05-25fix discriminant_ty for non-enumsRalf Jung-2/+2
2020-05-25Add helper method for determining the type of a discriminantRalf Jung-39/+24
2020-05-25Format and more tracingRalf Jung-2/+2
2020-05-25assert that types without discriminant use variant idx of 0Ralf Jung-1/+2
2020-05-25comments and refactor variable namesRalf Jung-38/+46
2020-05-25Miri: refactor read_discriminant and make it return ScalarRalf Jung-57/+82
2020-05-23take mir::PlaceElem by valueBastian Kauschke-3/+3
2020-05-23iterate List by valueBastian Kauschke-1/+1
2020-05-09Rollup merge of #71508 - oli-obk:alloc_map_unlock, r=RalfJungRalf Jung-2/+2
2020-05-08Simplify the `tcx.alloc_map` APIOliver Scherer-2/+2
2020-05-07Renamed "undef" stuff to "uninit"Hanif Bin Ariffin-11/+11
2020-05-06properly catch invalid-drop-fn errorsRalf Jung-2/+1
2020-05-06validation: port more checks to the pattern-based macro (and give it the shor...Ralf Jung-1/+1
2020-05-04Auto merge of #71751 - oli-obk:const_ice, r=RalfJungbors-0/+7
2020-05-01Remove a comment that made only sense in the original position of this cycle ...Oliver Scherer-3/+1
2020-05-01Move recursion check for zsts back to read site instead of access check site.Oliver Scherer-0/+9
2020-05-01fmtRalf Jung-2/+2
2020-05-01remove AllocId generalization of PointerRalf Jung-7/+7
2020-04-26organize Debug/Display impls a bit more; avoid sign-ignorant decimal displayRalf Jung-2/+2
2020-04-26Rollup merge of #71140 - oli-obk:static_cycle, r=RalfJungDylan DPC-7/+5
2020-04-20Remove unnecessary blockJonas Schievink-6/+4
2020-04-20Treat RETURN_PLACE as a normal LocalJonas Schievink-10/+6
2020-04-19Auto merge of #70598 - vakaras:add-threads-cr3, r=oli-obk,RalfJungbors-2/+12
2020-04-16mir/interpret: only use `ErrorHandled::Reported` for `ErrorReported`.Eduard-Mihai Burtescu-1/+2
2020-04-16ty: add `ty::ConstKind::Error` to replace `tcx.consts.err`.Eduard-Mihai Burtescu-0/+1
2020-04-16Move the explanation why adjust_global_const is called for all constants.Vytautas Astrauskas-3/+5
2020-04-16Rename Machine::eval_maybe_thread_local_static_const to adjust_global_const a...Vytautas Astrauskas-1/+6
2020-04-15Add function eval_maybe_thread_local_static_const that allows handling thread...Vytautas Astrauskas-0/+1