summary refs log tree commit diff
path: root/src/librustc_mir/interpret/step.rs
AgeCommit message (Expand)AuthorLines
2019-12-08fix miri step debug printingRalf Jung-1/+3
2019-12-06Rename to `then_some` and `then`varkor-3/+3
2019-12-06Use `to_option` in various placesvarkor-3/+3
2019-11-11avoid the loop in unwinding stack poppingRalf Jung-1/+10
2019-11-11Add hooks for Miri panic unwindingAaron Hill-0/+1
2019-09-27Move Ref-from-arg checking from `step.rs` to `const_prop.rs`Wesley Wiser-19/+2
2019-09-27Respond to code review feedback and fix tidyWesley Wiser-1/+1
2019-09-27[const-prop] Replace `Ref` handling with use of `InterpCx`Wesley Wiser-2/+19
2019-09-27[const-prop] Replace `Use` handling with use of `InterpCx`Wesley Wiser-1/+1
2019-09-11Make Place Boxed on Statement to reduce size from 64 bytes to 32 bytesSantiago Pastorino-1/+1
2019-08-19rustc_mir: make subst_from_frame_and_normalize_erasing_regions infallible.Eduard-Mihai Burtescu-1/+1
2019-08-19start cleaning up subst messRalf Jung-1/+1
2019-08-17make both unary_op and binary_op fully typed, including a return typeRalf Jung-1/+2
2019-08-14Rollup merge of #63075 - RalfJung:deref-checks, r=oli-obkMazdak Farrokhzad-2/+6
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-28'Ref' can now be sure it gets a 'Pointer'Ralf Jung-2/+6
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 18:19:15 +0000