about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
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
2021-06-16Move some hard error logic to InterpErrorSmitty-0/+10
2021-06-14Improve documentation on `UndefinedBehaviorInfo::ValidationFailure`Rémy Rakic-0/+2
2021-06-13Improve CTFE validation error messageRémy Rakic-4/+10
2021-06-13Turn incorrect vtable size/alignment errors into hard const-UB errorsRémy Rakic-2/+10
2021-06-02Miscellaneous inlining improvementsTomasz Miąsko-0/+1
2021-05-30Emit a hard error when a panic occurs during const-evalAaron Hill-2/+6
2021-05-23fix commentRalf Jung-1/+1
2021-05-23support creating mutable allocations from byte slicesRalf Jung-4/+8
2021-05-18add Align::ONE; add methods to access alloc.extraRalf Jung-1/+1
2021-05-18CTFE core engine allocation & memory API improvemenetsRalf Jung-221/+146
2021-05-17Rollup merge of #85412 - RalfJung:c_str, r=oli-obkRalf Jung-23/+0
2021-05-17remove some functions that were only used by MiriRalf Jung-23/+0
2021-05-17remove size field from AllocationRalf Jung-6/+5
2021-05-07fix null pointer error messagesRalf Jung-8/+11