summary refs log tree commit diff
path: root/src/librustc/mir/interpret
AgeCommit message (Expand)AuthorLines
2018-07-29Sanity-check all constantsOliver Schneider-1/+1
2018-07-11Auto merge of #51702 - ecstatic-morse:infinite-loop-detection, r=oli-obkbors-1/+4
2018-07-04Shorten error message and add link to testDylan MacKenzie-2/+1
2018-07-04Derive Eq and Hash for types used in Miri's evaluatorDylan MacKenzie-1/+1
2018-07-04Explain reason behind error spanDylan MacKenzie-1/+3
2018-07-04Add an `InfiniteLoop` variant to `EvalErrorKind`Dylan MacKenzie-0/+2
2018-07-03Update outdated comment: ByVal -> Scalar.Zach Wolfe-2/+2
2018-07-01Auto merge of #51110 - alexreg:new-static-eval-rules, r=eddybbors-0/+3
2018-07-01Auto merge of #51833 - wesleywiser:faster_large_constant_arrays, r=oli-obkbors-0/+3
2018-06-30Minor refactoring.Alexander Regueiro-1/+1
2018-06-30Added miri error for evaluating foreign statics.Alexander Regueiro-0/+3
2018-06-29Inline a few `UndefMask` methods.Wesley Wiser-0/+3
2018-06-28Turn the use of erroneous constants into errors againOliver Schneider-1/+1
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-13/+11
2018-06-28FixupOliver Schneider-8/+6
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-2/+121
2018-06-28Move the Lrc outside the error type and name the fieldsOliver Schneider-1/+2
2018-06-28Address review commentsOliver Schneider-2/+2
2018-06-28Eliminate old CTFE's `ErrKind`Oliver Schneider-0/+7
2018-06-05Properly report transitive errorsOliver Schneider-43/+37
2018-06-05Refactor the const eval diagnostic APIOliver Schneider-0/+36
2018-06-01Remove outdated AllocId decoding function.Michael Woerister-42/+1
2018-06-01Make const decoding from the incremental cache thread-safe.Michael Woerister-0/+169
2018-05-25Sanity abort `to_bits` if used on zstsOliver Schneider-1/+1
2018-05-25Update commentOliver Schneider-1/+1
2018-05-24Remove the last mention of `Undef`Oliver Schneider-1/+1
2018-05-24Replace `ScalarKind` with `Primitive`Oliver Schneider-67/+1
2018-05-24primval -> scalar renameOliver Schneider-4/+4
2018-05-24Formatting nitOliver Schneider-1/+1
2018-05-24change `Value::Bytes` to `Value::Bits`Oliver Schneider-88/+72
2018-05-24Remove Pointer::zero in favor of Pointer::fromOliver Schneider-4/+7
2018-05-24Rename MemoryPointer to PointerOliver Schneider-24/+24
2018-05-24Eliminate the `Pointer` wrapper typeOliver Schneider-53/+23
2018-05-24Rename ByVal(Pair) to Scalar(Pair)Oliver Schneider-16/+16
2018-05-24Rename PrimVal to ScalarOliver Schneider-70/+70
2018-05-24Add constant for `Size::from_bytes(0)`Oliver Schneider-2/+6
2018-05-24implement Ord for OutlivesPredicate and other typestoidiu-8/+8
2018-05-22Use SortedMap instead of BTreeMap for relocations in MIRI.Michael Woerister-4/+34
2018-05-22Introduce AllocType which indicates what AllocIds point toJohn Kåre Alsaker-22/+119
2018-05-19Use `Size` instead of `u64` in mir interpretationOliver Schneider-52/+54
2018-05-19Go through an allocation when accessing fields of constantsOliver Schneider-4/+4
2018-05-17Rename trans to codegen everywhere.Irina Popa-2/+2
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-5/+121
2018-04-30Unify MIR assert messages and const eval errorsOliver Schneider-15/+26
2018-04-30Merge ConstMathError into EvalErrorKindOliver Schneider-58/+26
2018-04-30Remove the `rustc_const_math` crateOliver Schneider-2/+39
2018-04-15Auto merge of #49947 - oli-obk:turing_complete_const_eval, r=nagisabors-3/+0
2018-04-14Get rid of redundant `HashSet`Oliver Schneider-1/+1
2018-04-14Stop referring to statics' AllocIds directlyOliver Schneider-15/+6
2018-04-14Don't recurse into allocations, use a global table insteadOliver Schneider-28/+20