summary refs log tree commit diff
path: root/src/librustc_mir/interpret/step.rs
AgeCommit message (Expand)AuthorLines
2019-08-02dedup free-form Unsupported errors; add macros for free-form UB and Unsupport...Ralf Jung-1/+1
2019-07-30renaming throw_err_* to throw_*Saleem Jaffer-1/+1
2019-07-30renaming err to err_unsupSaleem Jaffer-1/+1
2019-07-30adding throw_ and err_ macros for InterpErrorSaleem Jaffer-1/+1
2019-07-29adding a err macro for each of the InterpError variantsSaleem Jaffer-2/+2
2019-07-29fixing fallout due to InterpError refactorSaleem Jaffer-2/+2
2019-07-06Add check_mplace_ptr convenience method; provide ptr-normalization methods fo...Ralf Jung-6/+7
2019-06-27rename InterpretCx -> InterpCxRalf Jung-3/+3
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-1/+1
2019-06-09Changed usages of `mir` in librustc::mir and librustc_mir to `body`Jad Ghalayini-2/+2
2019-06-08rename EvalResult -> InterpResult and EvalError -> InterpErrorInfoRalf Jung-6/+6
2019-04-24Remove incorrect debug assertion in interpretMatthew Jasper-2/+1
2019-03-26renames EvalContext to InterpretCx.kenta7777-3/+3
2019-02-16Remove an intermediate value from discriminant readingOliver Scherer-2/+2
2019-02-13make bin_op and unary_op APIs consistently work on ImmTyRalf Jung-1/+1
2019-02-10rustc: doc commentsAlexander Regueiro-1/+1
2019-01-23Follow naming scheme for "frame" methodsOliver Scherer-2/+2
2019-01-22Bail out on overly generic substitutionsOliver Scherer-2/+2
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-23Rollup merge of #56973 - RalfJung:miri-trace, r=oli-obkkennytm-3/+3
2018-12-19make basic CTFE tracing available on release buildsRalf Jung-3/+3
2018-12-18treat ref-to-raw cast like a reborrow: do a special kind of retagRalf Jung-6/+2
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-3/+3
2018-12-03Retag needs to know whether this is a 2-phase-reborrowRalf Jung-2/+2
2018-11-18Remove mir::StatementKind::EndRegionMatthew Jasper-1/+0
2018-11-07no more action on ref or cast, but add new MIR statement for escaping a ptr t...Ralf Jung-13/+9
2018-11-04rustc_target: pass contexts by reference, not value.Eduard-Mihai Burtescu-3/+3
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-6/+6
2018-10-29let create_ref take a mutability, and leave it to step.rs to interpret mir::B...Ralf Jung-2/+10
2018-10-29Emit Retag statements, kill Validate statementsRalf Jung-5/+4
2018-10-18add 'raw reference' to the machine hook, and use that in ptr-to-raw castsRalf Jung-1/+1
2018-10-18provide machine hooks for creating references and accessing memoryRalf Jung-2/+3
2018-10-14Add comment about step being used by prirodabjorn3-0/+2
2018-10-14Make EvalContext::step public againbjorn3-1/+1
2018-09-23Auto merge of #54380 - RalfJung:miri-snapshot, r=eddybbors-40/+2
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-40/+2
2018-09-18Refactor 'ReadForMatch' into 'FakeRead' and add the cause of the fake readRemy Rakic-2/+2
2018-09-14Rollup merge of #54076 - RalfJung:miri-snapshot, r=oli-obkkennytm-1/+4
2018-09-10add the `AscribeUserType` statement kindNiko Matsakis-1/+1
2018-09-09miri loop detector hashing: fix enum hashing to also consider discriminant; d...Ralf Jung-1/+4
2018-09-03Use EvalContext's TyCtx for the purpose of hashing the evaluation contextBruno Dutra-1/+6
2018-09-03Promote EvalSnapshot to newtypeBruno Dutra-1/+1
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-16/+7
2018-08-27fix handling of unsized types in validation; validate str to be UTF-8Ralf Jung-3/+3
2018-08-27validate enum discriminant whenever it is readRalf Jung-3/+3
2018-08-27without all those copies of constants, we can finally make eval_operand take ...Ralf Jung-5/+5
2018-08-27Miri Memory WorkRalf Jung-4/+12
2018-08-25Auto merge of #53609 - bemeurer:tidy-ctfe, r=RalfJungbors-2/+12
2018-08-24support user-given types in adtsNiko Matsakis-1/+1
2018-08-23Reflow and fixup commentsBernardo Meurer-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 09:23:38 +0000