summary refs log tree commit diff
path: root/src/librustc_middle/mir/interpret
AgeCommit message (Expand)AuthorLines
2020-06-01test miri-unleash TLS accessesRalf Jung-2/+2
2020-06-01Auto merge of #71192 - oli-obk:eager_alloc_id_canonicalization, r=wesleywiserbors-0/+4
2020-05-30Make TLS accesses explicit in MIROliver Scherer-0/+4
2020-05-30Rollup merge of #72419 - RalfJung:read-discriminant, r=oli-obk,eddybYuki Okushi-2/+2
2020-05-27Add additional checks for isize overflowJoe Richey-2/+13
2020-05-26librustc_middle: Add function for computing unsigned absJoe Richey-8/+14
2020-05-25Miri: refactor read_discriminant and make it return ScalarRalf Jung-2/+2
2020-05-22Rollup merge of #71610 - divergentdave:InvalidUndefBytes-range, r=RalfJungRalf Jung-19/+59
2020-05-15InvalidUninitBytes: Track more info about accessDavid Cook-19/+59
2020-05-12Pointer printing: do not print 0 offsetRalf Jung-10/+18
2020-05-09Rollup merge of #71508 - oli-obk:alloc_map_unlock, r=RalfJungRalf Jung-46/+70
2020-05-08Document `global_alloc`Oliver Scherer-0/+4
2020-05-08Create a convenience wrapper for `get_global_alloc(id).unwrap()`Oliver Scherer-1/+10
2020-05-08Shrink visibility of the `AllocMap` and its methodsOliver Scherer-3/+3
2020-05-08Move `unwrap_fn` and `unwrap_memory` to `GlobalAlloc`Oliver Scherer-16/+22
2020-05-08Simplify the `tcx.alloc_map` APIOliver Scherer-32/+37
2020-05-07Renamed "undef" stuff to "uninit"Hanif Bin Ariffin-65/+65
2020-05-06properly catch invalid-drop-fn errorsRalf Jung-8/+12
2020-05-06validation: port more checks to the pattern-based macro (and give it the shor...Ralf Jung-0/+5
2020-05-02Rollup merge of #71738 - RalfJung:pointer-no-alloc-id, r=oli-obkRalf Jung-16/+12
2020-05-02Rollup merge of #71712 - RalfJung:error-backtrace, r=oli-obkRalf Jung-11/+9
2020-05-01fix Miri error message paddingRalf Jung-2/+2
2020-05-01remove AllocId generalization of PointerRalf Jung-16/+12
2020-05-01use hex for invalid bool and char (consistently with validation)Ralf Jung-2/+6
2020-05-01rename InvalidIntPtrUsageRalf Jung-40/+44
2020-05-01InterpError printing really is more Display than DebugRalf Jung-30/+27
2020-05-01tweak InvalidIntPointerUsage messageRalf Jung-2/+2
2020-04-30Rollup merge of #71590 - RalfJung:mir-dump-pointers, r=oli-obkTyler Mandry-10/+34
2020-04-30Miri: port error backtraces to std::backtraceRalf Jung-11/+9
2020-04-30Address review commentsOliver Scherer-4/+2
2020-04-30Highlight an error that can only happen in CTFEOliver Scherer-1/+1
2020-04-30Separate miri/ctfe unsupported operationsOliver Scherer-0/+2
2020-04-27keep 'pointer' terminology aroundRalf Jung-1/+4
2020-04-26Rollup merge of #71569 - samrat:miri-ub-on-size-mismatch, r=RalfJungDylan DPC-1/+16
2020-04-26fmtRalf Jung-5/+1
2020-04-26organize Debug/Display impls a bit more; avoid sign-ignorant decimal displayRalf Jung-20/+23
2020-04-26Adjust styleRalf Jung-1/+1
2020-04-26print pointers more compactly when they are too bigRalf Jung-10/+32
2020-04-26Rename ArgumentSizeMismatch to ScalarSizeMismatchSamrat Man Singh-5/+5
2020-04-26[miri] Throw UB if target size and data size don't matchSamrat Man Singh-1/+16
2020-04-24Replace filter_map().next() calls with find_map()Josh Stone-2/+1
2020-04-24Rollup merge of #71459 - divergentdave:pointer-offset-0x, r=RalfJungDylan DPC-2/+2
2020-04-23add back Scalar::null_ptrRalf Jung-0/+5
2020-04-23Rollup merge of #71452 - ecstatic-morse:no-more-snapshot, r=RalfJungDylan DPC-2/+0
2020-04-23Rollup merge of #71005 - jonas-schievink:no-place-like-return, r=oli-obkDylan DPC-8/+0
2020-04-23Add leading 0x to offset in Debug fmt of PointerDavid Cook-2/+2
2020-04-22Remove outdated reference to interpreter snapshottingDylan MacKenzie-2/+0
2020-04-20Remove null placesJonas Schievink-5/+0
2020-04-20Treat RETURN_PLACE as a normal LocalJonas Schievink-3/+0
2020-04-18Detect mistyped associated consts in `Instance::resolve`.Eduard-Mihai Burtescu-6/+7