summary refs log tree commit diff
path: root/src/librustc/mir/interpret
AgeCommit message (Expand)AuthorLines
2018-09-08Auto merge of #53903 - GabrielMajeri:opt-miri-array-slice, r=oli-obkbors-10/+17
2018-09-08Optimize miri checking of integer array/slicesGabriel Majeri-10/+17
2018-09-03Document snapshot.rsBruno Dutra-0/+5
2018-09-03Make vaious allocation related types generic on the allocation idBruno Dutra-10/+10
2018-08-29audit the relocations code, and clean it up a littleRalf Jung-1/+3
2018-08-29re-do argument passing one more time to finally be saneRalf Jung-7/+17
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-2/+102
2018-08-28address nitsRalf Jung-3/+5
2018-08-27validate enum discriminant whenever it is readRalf Jung-1/+1
2018-08-27dedicated handling for binops on bool and char (UB if they are not valid)Ralf Jung-6/+19
2018-08-27Miri Memory WorkRalf Jung-10/+90
2018-08-23Fix stylistic mistakesBernardo Meurer-2/+2
2018-08-23Reflow and fixup commentsBernardo Meurer-1/+2
2018-08-23Fixed long stringsBernardo Meurer-7/+12
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+30
2018-08-22Allow panicking with string literal messages inside constantsOliver Schneider-2/+10
2018-08-22optimize creating a stack frameRalf Jung-0/+2
2018-08-22better error message when using NULL in to_ptrRalf Jung-1/+2
2018-08-22finally remove all traces of signs from memoryRalf Jung-13/+21
2018-08-22miri/CTFE refactorRalf Jung-126/+80
2018-08-19Fix typos found by codespell.Matthias Krüger-1/+1
2018-08-03Unify API of `Scalar` and `ScalarMaybeUndef`Oliver Schneider-2/+6
2018-08-02Second field of ScalarPair can be undef in some casesOliver Schneider-6/+5
2018-08-01Address behaviour changing review commentsOliver Schneider-18/+0
2018-08-01Address stylistic review comments and rebase falloutOliver Schneider-3/+6
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-86/+116
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