about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
2021-09-11interpreter PointerArithmetic: use new Size helper methodsRalf Jung-8/+6
2021-08-26Auto merge of #87280 - lcnr:lazy-anon-const-default-substs, r=nikomatsakisbors-1/+1
2021-08-26make unevaluated const substs optionallcnr-1/+1
2021-08-25use a peekable iterator to check the first chunkErik Desjardins-3/+14
2021-08-25yet more comment improvementsErik Desjardins-2/+7
2021-08-25improve commentsErik Desjardins-9/+14
2021-08-25put code in a more logical orderErik Desjardins-345/+350
2021-08-25add commentsErik Desjardins-19/+119
2021-08-25implement InitMaskCompressed using InitChunkIter, cleanupErik Desjardins-23/+33
2021-08-25optimize initialization checksErik Desjardins-9/+102
2021-08-25use undef for uninitialized bytes in constantsErik Desjardins-6/+55
2021-08-22Fix typos “an”→“a” and a few different ones that appeared in the sa...Frank Steffahn-5/+5
2021-08-22Fix typos “a”→“an”Frank Steffahn-3/+3
2021-08-05replace Vec<u8> with Box<[u8]>The8472-5/+4
2021-08-05use box->vec conversion API that doesn't reallocateThe8472-1/+1
2021-08-05use zeroed allocation instead of eagerly initializing the memoryThe8472-3/+4
2021-07-31typoRalf Jung-1/+1
2021-07-31CTFE: throw unsupported error when partially overwriting a pointerRalf Jung-23/+58
2021-07-24get rid of NoMirFor error variantRalf Jung-3/+0
2021-07-18miri: better ptr-out-of-bounds errorsRalf Jung-14/+30
2021-07-17Auto merge of #87123 - RalfJung:miri-provenance-overhaul, r=oli-obkbors-288/+284
2021-07-17Auto merge of #86761 - Alexhuszagh:master, r=estebankbors-1/+0
2021-07-17Changed dec2flt to use the Eisel-Lemire algorithm.Alex Huszagh-1/+0
2021-07-16avoid manual Debug impls by adding extra Provenance bounds to typesRalf Jung-3/+5
2021-07-16add some comments regarding the two major quirks of our memory modelRalf Jung-1/+8
2021-07-16get rid of incorrect erase_for_fmtRalf Jung-57/+25
2021-07-15tweak pointer out-of-bounds error messageRalf Jung-5/+15
2021-07-15enable Miri to fix the bytes in an allocation (since ptr offsets have differe...Ralf Jung-16/+24
2021-07-15adjustions and cleanup to make Miri build againRalf Jung-53/+15
2021-07-14remove unused error variantRalf Jung-3/+0
2021-07-14more precise message for the ptr access check on derefRalf Jung-1/+8
2021-07-14use NonZeroU64 for AllocId to restore old type sizesRalf Jung-6/+6
2021-07-14consistently treat None-tagged pointers as ints; get rid of some deprecated S...Ralf Jung-82/+69
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung-188/+236
2021-07-12remove remaining use of Pointer in Allocation APIRalf Jung-10/+9
2021-07-06Rollup merge of #86685 - RalfJung:alloc-mut, r=oli-obkYuki Okushi-0/+3
2021-07-02Allocation failure in constprop panics right awaySmitty-1/+4
2021-06-30Delay ICE on evaluation failSmitty-0/+5
2021-06-30Note that even ConstProp follows the rulesSmittyvb-2/+2
2021-06-30Simplify memory failure checkingSmitty-6/+0
2021-06-30Rename is_spurious -> is_volatileSmitty-1/+1
2021-06-30simplify explanation commentSmittyvb-9/+2
2021-06-29Properly handle const prop failuresSmitty-5/+14
2021-06-29Add comment with reasoning for non-determinismSmitty-0/+9
2021-06-29Simplify allocation creationSmitty-2/+1
2021-06-29Make memory exhaustion a hard errorSmitty-1/+2
2021-06-29Support allocation failures when interperting MIRSmitty-6/+20
2021-06-28double-check mutability inside AllocationRalf Jung-0/+3
2021-06-18make UB during CTFE a hard errorRalf Jung-0/+1
2021-06-17Rollup merge of #86340 - Smittyvb:ctfe-hard-error-message, r=RalfJungYuki Okushi-0/+10