summary refs log tree commit diff
path: root/src/librustc/mir/interpret
AgeCommit message (Expand)AuthorLines
2018-10-25Rollup merge of #55345 - RalfJung:no-null, r=oli-obkPietro Albini-9/+1
2018-10-25Remove is_nullRalf Jung-9/+1
2018-10-23fix typos in various placesMatthias Krüger-1/+1
2018-10-21Auto merge of #55125 - RalfJung:stacked-borrows, r=oli-obkbors-2/+6
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-2/+2
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-2/+2
2018-10-18add support for storing extra data in an allocationRalf Jung-2/+6
2018-10-10typos and spacesRalf Jung-2/+2
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-42/+90
2018-10-09miri engine: also check return type before calling functionRalf Jung-1/+7
2018-10-03A handful of cleanups for rustc/mirljedrz-2/+2
2018-10-01Auto merge of #54693 - RalfJung:ctfe-scalar-pair-undef, r=oli-obkbors-100/+10
2018-09-30move ScalarMaybeUndef into the miri engineRalf Jung-94/+1
2018-09-30do not normalize non-scalar constants to a ConstValue::ScalarPairRalf Jung-6/+9
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-4/+4
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