summary refs log tree commit diff
path: root/src/librustc_mir/interpret/const_eval.rs
AgeCommit message (Expand)AuthorLines
2018-06-27Don't use `ParamEnv::reveal_all()` if there is a real one availableOliver Schneider-1/+1
2018-06-05Properly report transitive errorsOliver Schneider-2/+1
2018-06-05Refactor the const eval diagnostic APIOliver Schneider-31/+19
2018-05-31Rename num -> bits and num -> out_valLinus Färnstrand-6/+6
2018-05-31Rename bytes -> bitsLinus Färnstrand-8/+8
2018-05-31Rewrite numeric_intrinsic without macroLinus Färnstrand-28/+11
2018-05-31Make ctpop, cttz, ctlz and bswap const fnsLinus Färnstrand-3/+60
2018-05-24primval -> scalar renameOliver Schneider-4/+4
2018-05-24change `Value::Bytes` to `Value::Bits`Oliver Schneider-5/+16
2018-05-24Eliminate the `Pointer` wrapper typeOliver Schneider-8/+7
2018-05-24Rename ByVal(Pair) to Scalar(Pair)Oliver Schneider-10/+10
2018-05-24Rename PrimVal to ScalarOliver Schneider-8/+8
2018-05-22Introduce AllocType which indicates what AllocIds point toJohn Kåre Alsaker-2/+3
2018-05-19Use `Size` instead of `u64` in mir interpretationOliver Schneider-5/+5
2018-05-19Keep statics' constant as ByRefOliver Schneider-20/+30
2018-05-19Go through an allocation when accessing fields of constantsOliver Schneider-16/+20
2018-05-19Reintroduce some sanity checksOliver Schneider-0/+7
2018-05-19Ensure that statics are always ByRefOliver Schneider-86/+59
2018-05-13Fix conversion from Miri Value to ConstValueJohn Kåre Alsaker-56/+67
2018-05-11Add a query to convert from ConstValue to AllocationJohn Kåre Alsaker-2/+26
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-42/+86
2018-04-27Rename InternedString to LocalInternedString and introduce a new thread-safe ...John Kåre Alsaker-1/+1
2018-04-24Auto merge of #49933 - oli-obk:miri_rustup, r=eddybbors-4/+4
2018-04-23Auto merge of #49779 - oli-obk:const_err_regression, r=eddybbors-2/+2
2018-04-23Fix the miri toolOliver Schneider-4/+4
2018-04-15Only warn on erroneous promoted constantsOliver Schneider-2/+2
2018-04-14Stop referring to statics' AllocIds directlyOliver Schneider-105/+31
2018-03-30Add an explanation for the `create_depgraph_edges`Oliver Schneider-1/+12
2018-03-30Introduce an edge from a const eval to the MIR of all statics it depends onOliver Schneider-1/+29
2018-03-23Rollup merge of #49030 - Zoxc:misc, r=michaelwoeristerAlex Crichton-3/+3
2018-03-21Fix test errorbjorn3-0/+8
2018-03-17Replace Rc with LrcJohn Kåre Alsaker-3/+3
2018-03-13Reuse the query caching infrastructure for const evalOliver Schneider-2/+6
2018-03-08Report tcx errors with the span of the currently evaluating statementOliver Schneider-4/+5
2018-03-08Report a best guess span if no stack is available anymoreOliver Schneider-3/+4
2018-03-08Unregress error spans in constant errorsOliver Schneider-8/+7
2018-03-08Tidy fixOliver Schneider-1/+1
2018-03-08Const eval error refactoringOliver Schneider-51/+41
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 configu...Oliver Schneider-6/+3
2018-03-08Report const eval errors at the correct spanOliver Schneider-2/+4
2018-03-08Reduce noise in error reportingOliver Schneider-1/+1
2018-03-08Destructure Rc wrapped ErrorKind in miriOliver Schneider-6/+8
2018-03-08Hide the RefCell inside InterpretInternerOliver Schneider-6/+5
2018-03-08Allow writing mutable statics in miri by adding them to the MachineOliver Schneider-1/+23
2018-03-08Print whether the stackframe is for a promotedOliver Schneider-1/+3
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-4/+5
2018-03-08Evaluate 128 lowering lang items manuallyOliver Schneider-7/+21
2018-03-08Fully use miri in transOliver Schneider-71/+137
2018-03-08Prepare for using miri in transAlexander Regueiro-61/+48