summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
2022-02-16Support pretty printing of invalid constantsTomasz Miąsko-0/+8
2022-01-22Make `Decodable` and `Decoder` infallible.Nicholas Nethercote-15/+15
2022-01-15initial revertEllen-1/+1
2021-12-20better name for AdjustForForeignAbiError error variant in InterpErrorRalf Jung-4/+5
2021-12-20CTFE eval_fn_call: use FnAbi to determine argument skipping and compatibilityRalf Jung-1/+5
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-4/+4
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-0/+2
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-2/+0
2021-12-02Auto merge of #91354 - fee1-dead:const_env, r=spastorinobors-0/+2
2021-12-01remove static_assert_size on InterpErrorb-naber-3/+0
2021-12-01implement version of normalize_erasing_regions that doesn't assume value is n...b-naber-1/+1
2021-11-29Always use const param envs for const eval.Oli Scherer-0/+2
2021-11-06use matches!() macro in more placesMatthias Krüger-5/+5
2021-10-16clippy::complexity changesMatthias Krüger-3/+3
2021-10-14add dedicated error variant for writing the discriminant of an uninhabited en...Ralf Jung-0/+5
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