summary refs log tree commit diff
path: root/src/librustc/mir/interpret/error.rs
AgeCommit message (Collapse)AuthorLines
2019-12-07Auto merge of #66927 - RalfJung:engines-dont-panic, r=oli-obkbors-2/+19
Miri core engine: use throw_ub instead of throw_panic See https://github.com/rust-lang/rust/issues/66902 for context: panicking is not really an "interpreter error", but just part of a normal Rust execution. This is a first step towards removing the `InterpError::Panic` variant: the core Miri engine does not use it any more. ConstProp and ConstEval still use it, though. This will be addressed in future PRs. From what I can tell, all the error messages this removes are actually duplicates. r? @oli-obk @wesleywiser
2019-12-01Miri core engine: use throw_ub instead of throw_panicRalf Jung-2/+19
2019-12-01add reusable MachineStop variant to Miri engine error enumRalf Jung-16/+12
2019-12-01Rollup merge of #66832 - RalfJung:const-prop-no-alloc, r=oli-obkMazdak Farrokhzad-7/+13
const_prop: detect and avoid catching Miri errors that require allocation r? @wesleywiser @oli-obk
2019-11-28const_prop: detect and avoid catching Miri errors that require allocationRalf Jung-7/+13
2019-11-28Removed FIXME commentDavid Haig-2/+0
2019-11-28Remove duplication using single variant for errorDavid Haig-11/+11
2019-11-28SquashDavid Haig-0/+6
2019-11-26Fix spelling typosBrian Wignall-1/+1
2019-11-21Introduce MIR optimizations for simplifying `x?` on `Result`s.Mazdak Farrokhzad-1/+1
This optimization depends on inlining for the identity conversions introduced by the lowering of the `?`. To take advantage of `SimplifyArmIdentity`, `-Z mir-opt-level=2` is required because that triggers the inlining MIR optimization.
2019-11-14Update to use new librustc_error_codes libraryGuillaume Gomez-0/+2
2019-10-18Don't ICE when evaluating writes to uninhabited enum variantsWesley Wiser-3/+4
2019-10-02Compute the layout of uninhabited structsOliver Scherer-6/+0
2019-09-27Introduce a `ConstPropMachine`Wesley Wiser-12/+0
This allows us to avoid changing things directly in the miri engine just for const prop.
2019-09-27Work around for #64506Wesley Wiser-0/+6
2019-09-27[const-prop] Replace `eval_place()` with use of `InterpCx`Wesley Wiser-0/+12
2019-09-17Rollup merge of #64541 - RalfJung:miri-errors, r=oli-obkTyler Mandry-1/+14
document Miri error categories r? @oli-obk
2019-09-17Get rid of special const intrinsic query in favour of `const_eval`Oliver Scherer-0/+9
2019-09-17document Miri error categoriesRalf Jung-1/+14
2019-09-07Aggregation of cosmetic changes made during work on REPL PRs: librustcAlexander Regueiro-9/+7
2019-09-06Fixed grammar/style in error messages and reblessed tests.Alexander Regueiro-6/+6
2019-08-10rename RUST_CTFE_BACKTRACE to RUSTC_CTFE_BACKTRACERalf Jung-1/+1
2019-08-07Auto merge of #63152 - estebank:big-array, r=oli-obkbors-7/+11
Always error on `SizeOverflow` during mir evaluation Fix #55878, fix #25116. r? @oli-obk
2019-08-04tweak output and testsEsteban Küber-1/+3
2019-08-04AssumptionNotHeld is used only once in Miri and never caught... remove from enumRalf Jung-4/+0
2019-08-04move AssumptionNotHeld to UBRalf Jung-3/+4
2019-08-03avoid mutable state and override main messageEsteban Küber-5/+6
2019-08-03add variant for experimental UB (like Stacked Borrows)Ralf Jung-3/+5
2019-08-02dedup free-form Unsupported errors; add macros for free-form UB and ↵Ralf Jung-13/+2
Unsupported cases
2019-08-02be less BritishRalf Jung-5/+5
2019-08-02Nicer labels for type layout errorsEsteban Küber-2/+2
2019-08-02Do not lint on SizeOverflow, always errorEsteban Küber-1/+3
2019-08-02Always error on `SizeOverflow` during mir evaluationEsteban Küber-1/+0
2019-07-31code review fixesSaleem Jaffer-5/+6
2019-07-30renaming err to err_unsupSaleem Jaffer-2/+2
2019-07-30adding throw_ and err_ macros for InterpErrorSaleem Jaffer-1/+1
2019-07-29code review fixesSaleem Jaffer-7/+7
2019-07-29code review fixesSaleem Jaffer-0/+1
2019-07-29use PanicInfo and UnsupportedOpInfoSaleem Jaffer-8/+8
2019-07-29implementing Debug for UnsupportedInfoSaleem Jaffer-99/+108
2019-07-29fixing fallout due to InterpError refactorSaleem Jaffer-68/+104
2019-07-29code review fixesSaleem Jaffer-6/+7
2019-07-29moving remaining variants to UnsupportedInfoSaleem Jaffer-25/+22
2019-07-29more grouping of the variants in InterpErrorSaleem Jaffer-42/+44
2019-07-29grouping the variants of InterpErrorSaleem Jaffer-10/+26
2019-07-29changing the fields of InterpErrorSaleem Jaffer-8/+23
2019-07-24Apply suggestions from code reviewRalf Jung-4/+4
Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>
2019-07-24use PanicMessage type for MIR assertion errorsRalf Jung-50/+77
2019-07-24kill InterpError::descriptionRalf Jung-154/+116
2019-07-24do not use InterpError::description outside librustc::mirRalf Jung-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 19:51:37 +0000