about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Collapse)AuthorLines
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-7/+14
In particular: - `fully_normalize_monormophic_ty` => `normalize_erasing_regions` - `normalize_associated_type_in_env` => `normalize_erasing_regions` - `fully_normalize_associated_types_in` => `normalize_erasing_regions` - `erase_late_bound_regions_and_normalize` => `normalize_erasing_late_bound_regions`
2018-03-13Reuse the query caching infrastructure for const evalOliver Schneider-2/+6
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-2/+1
- `ParamEnv::empty()` -- does not reveal all, good for typeck - `ParamEnv::reveal_all()` -- does, good for trans - `param_env.with_reveal_all()` -- converts an existing parameter environment
2018-03-08Correct the shift overflow check in miriOliver Schneider-1/+1
2018-03-08Address review commentsOliver Schneider-42/+24
2018-03-08Decide signdedness on the layout instead of the typeOliver Schneider-36/+49
2018-03-08Don't use the undefined bytes of PrimVal::BytesOliver Schneider-212/+178
2018-03-08Fix mozjs crater failureOliver Schneider-3/+11
2018-03-08Const eval will oom together with rustc nowOliver Schneider-17/+0
2018-03-08Step limit is now terminator limitOliver Schneider-2/+3
2018-03-08Report tcx errors with the span of the currently evaluating statementOliver Schneider-63/+39
2018-03-08Report a best guess span if no stack is available anymoreOliver Schneider-8/+19
2018-03-08Unregress error spans in constant errorsOliver Schneider-12/+20
2018-03-08Tidy fixOliver Schneider-1/+1
2018-03-08Const eval error refactoringOliver Schneider-84/+95
2018-03-08Compute the ParamEnv only once and use it to call tcx.const_evalOliver Schneider-8/+10
2018-03-08Move the resource limits to the session in preparation for attributes ↵Oliver Schneider-33/+12
configuring them
2018-03-08Report const eval errors at the correct spanOliver Schneider-3/+7
2018-03-08Reduce noise in error reportingOliver Schneider-1/+1
2018-03-08Use Mutability enum instead of boolOliver Schneider-2/+2
2018-03-08Nuke ConstInt and Const*sizeOliver Schneider-2/+2
2018-03-08Destructure Rc wrapped ErrorKind in miriOliver Schneider-11/+14
2018-03-08Don't read from zero sized fieldsOliver Schneider-0/+3
2018-03-08Hide the RefCell inside InterpretInternerOliver Schneider-22/+16
It was too easy to get this wrong
2018-03-08Don't borrow the interpret_interner for anything but a direct function callOliver Schneider-3/+2
2018-03-08Allow writing mutable statics in miri by adding them to the MachineOliver Schneider-42/+47
2018-03-08More const eval sanity checks (invalid slice fat pointers)Oliver Schneider-3/+10
2018-03-08Additional sanity assertionOliver Schneider-1/+3
2018-03-08Print whether the stackframe is for a promotedOliver Schneider-1/+3
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-13/+18
2018-03-08Evaluate 128 lowering lang items manuallyOliver Schneider-7/+21
2018-03-08Fully use miri in transOliver Schneider-467/+379
2018-03-08Prepare for using miri in transAlexander Regueiro-61/+48
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-351/+89
2018-03-08Resolve variant field accessOliver Schneider-3/+9
2018-03-08Move librustc_const_eval to librustc_mirOliver Schneider-13/+21
2018-03-08Produce instead of pointersOliver Schneider-60/+151
2018-03-08Add a variant to ConstVal for storing miri resultsOliver Schneider-11/+12
2018-03-04Fixed #48425Pramod Bisht-1/+1
2018-03-02Run Rustfix on librustc_mirManish Goregaokar-1/+1
2018-02-23Introduce UnpackedKindvarkor-2/+2
This adds an `UnpackedKind` type as a typesafe counterpart to `Kind`. This should make future changes to kinds (such as const generics!) more resilient, as the type-checker should catch more potential issues.
2018-02-17fix more typos found by codespell.Matthias Krüger-1/+1
2018-02-11typo: correct endianess to endianness (this also changes function names!)Matthias Krüger-16/+16
2018-02-10Rollup merge of #48078 - alexcrichton:fix-required-const-and-proc-macro, r=eddybkennytm-0/+4
Disallow function pointers to #[rustc_args_required_const] This commit disallows acquiring a function pointer to functions tagged as `#[rustc_args_required_const]`. This is intended to be used as future-proofing for the stdsimd crate to avoid taking a function pointer to any intrinsic which has a hard requirement that one of the arguments is a constant value. Note that the first commit here isn't related specifically to this feature, but was necessary to get this working in stdsimd!
2018-02-08Disallow function pointers to #[rustc_args_required_const]Alex Crichton-0/+4
This commit disallows acquiring a function pointer to functions tagged as `#[rustc_args_required_const]`. This is intended to be used as future-proofing for the stdsimd crate to avoid taking a function pointer to any intrinsic which has a hard requirement that one of the arguments is a constant value.
2018-02-05mir: Add TerminatorKind::FalseUnwindbobtwinkles-0/+1
Sometimes a simple goto misses the cleanup/unwind edges. Specifically, in the case of infinite loops such as those introduced by a loop statement without any other out edges. Analogous to TerminatorKind::FalseEdges; this new terminator kind is used when we want borrowck to consider an unwind path, but real control flow should never actually take it.
2018-02-05Rollup merge of #47892 - Badel2:const_type_id_of, r=oli-obkkennytm-0/+6
Turn `type_id` into a constant intrinsic https://github.com/rust-lang/rust/issues/27745 The method `get_type_id` in `Any` is intended to support reflection. It's currently unstable in favor of using an associated constant instead. This PR makes the `type_id` intrinsic a constant intrinsic, the same as `size_of` and `align_of`, allowing `TypeId::of` to be a `const fn`, which will allow using an associated constant in `Any`.
2018-02-01Turn `type_id` into a constant intrinsicBadel2-0/+6
Add rustc_const_unstable attribute for `any::TypeId::of` Add test for `const fn TypeId::of`
2018-02-01rustc: prefer ParamEnvAnd and LayoutCx over tuples for LayoutOf.Eduard-Mihai Burtescu-1/+1
2018-01-29rustc: replace "lvalue" terminology with "place" in the code.Eduard-Mihai Burtescu-4/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 15:09:49 +0000