summary refs log tree commit diff
path: root/src/librustc_mir/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
2018-05-06issue-49938: Reference tagged unions discr(iminant) as tagSamuel Wilson-4/+4
2018-05-02Allow unaligned reads in constantsOliver Schneider-3/+1
2018-05-01Auto merge of #50198 - oli-obk:const_prop, r=eddybbors-1/+1
2018-05-01Removed direct field usage of RangeInclusive in rustc itself.kennytm-3/+3
2018-04-30Merge ConstMathError into EvalErrorKindOliver Schneider-1/+1
2018-04-27Rollup merge of #50246 - nnethercote:no-dump_allocs, r=Mark-Simulacrumkennytm-3/+4
2018-04-26Auto merge of #49513 - nox:univariant-fieldless-enum-as-zst, r=eddybbors-1/+33
2018-04-26Treat repr(Rust) univariant fieldless enums as a ZST (fixes #15747)Anthony Ramine-1/+21
2018-04-26rustc_target: move LayoutOf's type parameter to an associated type.Irina Popa-2/+4
2018-04-26rustc_target: move in type definitions from ty::layout.Irina Popa-1/+1
2018-04-26Properly evaluate zst enumOliver Schneider-0/+9
2018-04-26Properly look for uninhabitedness when handling discriminantsAnthony Ramine-0/+3
2018-04-26Make dump_{alloc,allocs,local}() no-ops when tracing is disabled.Nicholas Nethercote-3/+4
2018-04-23Fix the miri toolOliver Schneider-27/+60
2018-04-20Auto merge of #50051 - nnethercote:no-env-var, r=Mark-Simulacrumbors-5/+5
2018-04-19Sign extend constants in range patternsOliver Schneider-12/+2
2018-04-19Lazily evaluate EvalErrorKind::*.into() calls.Nicholas Nethercote-5/+5
2018-04-15Auto merge of #49947 - oli-obk:turing_complete_const_eval, r=nagisabors-3/+3
2018-04-14Stop referring to statics' AllocIds directlyOliver Schneider-8/+6
2018-04-13Don't abort const eval due to long running evals, just warnOliver Schneider-3/+3
2018-04-10Remove Cell from const_eval_stack_frame_limit and const_eval_step_limitJohn Kåre Alsaker-2/+2
2018-04-07miri: Make write_discriminant_value publicbjorn3-1/+1
2018-04-01Fix miri Discriminant() for non-ADTbjorn3-10/+19
2018-03-23Simplify local accessorsOliver Schneider-8/+6
2018-03-23Don't allocate a local array at all if there are no localsOliver Schneider-16/+22
2018-03-23Vec<_> -> IndexVec<Local, _>Oliver Schneider-22/+14
2018-03-22Skip checking for Storage* statements in constants/staticsOliver Schneider-10/+17
2018-03-22Remove slow HashSet during miri stack frame creationOliver Schneider-29/+11
2018-03-13`trans_apply_param_substs` => `subst_and_normalize_erasing_regions`Niko Matsakis-2/+10
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-4/+2
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-2/+1
2018-03-08Address review commentsOliver Schneider-15/+11
2018-03-08Decide signdedness on the layout instead of the typeOliver Schneider-8/+12
2018-03-08Don't use the undefined bytes of PrimVal::BytesOliver Schneider-3/+19
2018-03-08Fix mozjs crater failureOliver Schneider-3/+11
2018-03-08Step limit is now terminator limitOliver Schneider-1/+1
2018-03-08Report tcx errors with the span of the currently evaluating statementOliver Schneider-45/+17
2018-03-08Report a best guess span if no stack is available anymoreOliver Schneider-5/+15
2018-03-08Unregress error spans in constant errorsOliver Schneider-4/+13
2018-03-08Const eval error refactoringOliver Schneider-33/+54
2018-03-08Move the resource limits to the session in preparation for attributes configu...Oliver Schneider-23/+5
2018-03-08Report const eval errors at the correct spanOliver Schneider-1/+3
2018-03-08Nuke ConstInt and Const*sizeOliver Schneider-2/+2
2018-03-08Destructure Rc wrapped ErrorKind in miriOliver Schneider-5/+6
2018-03-08Hide the RefCell inside InterpretInternerOliver Schneider-1/+0
2018-03-08Allow writing mutable statics in miri by adding them to the MachineOliver Schneider-15/+12
2018-03-08More const eval sanity checks (invalid slice fat pointers)Oliver Schneider-3/+10
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-5/+9
2018-03-08Fully use miri in transOliver Schneider-34/+91
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-28/+5