about summary refs log tree commit diff
path: root/src/librustc/mir/interpret
AgeCommit message (Expand)AuthorLines
2019-12-22Rollup merge of #67299 - christianpoveda:try_immty_from_int, r=RalfJungMazdak Farrokhzad-11/+27
2019-12-22Rollup merge of #66877 - skinny121:const-eval-entry-points, r=oli-obkMazdak Farrokhzad-1/+92
2019-12-22Add error message if `Scalar::from_(u)int` failsChristian Poveda-2/+8
2019-12-22Add simpler entry points to const eval for common usages.Ben Lewis-1/+92
2019-12-21Change results to optionsChristian Poveda-6/+6
2019-12-201. ast::Mutability::{Mutable -> Mut, Immutable -> Not}.Mazdak Farrokhzad-2/+2
2019-12-14add Scalar::try_from_(u)int methodsChristian Poveda-12/+22
2019-12-07Auto merge of #66927 - RalfJung:engines-dont-panic, r=oli-obkbors-5/+21
2019-12-03Rollup merge of #66951 - RalfJung:miri-machine-stop, r=oli-obkMazdak Farrokhzad-0/+7
2019-12-02miri: add throw_machine_stop macroRalf Jung-0/+7
2019-12-02Add From instances for Pointer -> ScalarMaybeUndef and Pointer -> ImmediateRalf Jung-0/+7
2019-12-01Miri core engine: use throw_ub instead of throw_panicRalf Jung-5/+21
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
2019-11-29Auto merge of #66321 - ninjasource:async-fn-resume-after-completion, r=oli-obkbors-5/+9
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-28Auto merge of #66294 - davidhewitt:const_fn_memoization, r=oli-obkbors-1/+4
2019-11-27Rollup merge of #66798 - bwignall:typo, r=varkorTyler Mandry-1/+1
2019-11-27Add memoization for const function evaluationsDavid Hewitt-1/+4
2019-11-27Auto merge of #66677 - wesleywiser:fix_const_prop_alloc_id_ice, r=oli-obkbors-1/+1
2019-11-26Fix spelling typosBrian Wignall-1/+1
2019-11-22Allow miri allocation interning to work im generic MachinesWesley Wiser-1/+1
2019-11-22Auto merge of #66282 - Centril:simplify-try, r=oli-obkbors-1/+1
2019-11-21Introduce MIR optimizations for simplifying `x?` on `Result`s.Mazdak Farrokhzad-1/+1
2019-11-21Aggregation of drive-by cosmetic changes.Alexander Regueiro-7/+8
2019-11-19More HashStable.Camille GILLOT-10/+3
2019-11-18Retire BraceStructLiftImpl.Camille GILLOT-1/+2
2019-11-15Rollup merge of #66410 - RalfJung:miri-machine-max, r=oli-obkYuki Okushi-0/+13
2019-11-14Update to use new librustc_error_codes libraryGuillaume Gomez-0/+2
2019-11-14miri: helper methods for max values of machine's usize/isizeRalf Jung-0/+13
2019-11-12Remove cruft.Camille GILLOT-10/+0
2019-11-12Create intermediate enum ty::ConstKind.Camille GILLOT-35/+11
2019-11-08miri: Rename to_{u,i}size to to_machine_{u,i}sizeRalf Jung-6/+6
2019-10-22relax ExactSizeIterator bound on write_bytes: too many iterators don't have t...Ralf Jung-2/+5
2019-10-21Rollup merge of #65660 - varkor:canonical-const-to-bound-const, r=eddybMazdak Farrokhzad-1/+6
2019-10-21Rollup merge of #65647 - nnethercote:rm-unnecessary-traits, r=CentrilMazdak Farrokhzad-2/+2
2019-10-21Rename `ConstValue::Infer(InferConst::Canonical(..))` to `ConstValue::Bound(..)`varkor-1/+6
2019-10-21Remove many unnecessary trait derivations.Nicholas Nethercote-2/+2
2019-10-21remove write_repeat; it is subsumed by the new write_bytesRalf Jung-19/+0
2019-10-21points the user away from the Allocation type and towards the Memory typeRalf Jung-0/+12
2019-10-20also check the iterator is not too longRalf Jung-0/+1
2019-10-20miri add write_bytes method to Memory doing bounds-checks and supporting iter...Ralf Jung-2/+7
2019-10-18Don't ICE when evaluating writes to uninhabited enum variantsWesley Wiser-3/+4
2019-10-14Auto merge of #64987 - oli-obk:code_reuse_prevents_bugs, r=eddybbors-6/+0
2019-10-09Pretty print function pointer const values.ben-0/+8
2019-10-04Introduce a special case in `IntRange::from_const`.Nicholas Nethercote-3/+8
2019-10-02Compute the layout of uninhabited structsOliver Scherer-6/+0