about summary refs log tree commit diff
path: root/src/librustc_middle/mir/interpret
AgeCommit message (Expand)AuthorLines
2020-07-31Auto merge of #65989 - Aaron1011:fix/normalize-param-env, r=nikomatsakisbors-2/+2
2020-07-27Auto merge of #74775 - RalfJung:miri-alloc-ids, r=oli-obkbors-5/+3
2020-07-26typos + fmtRalf Jung-3/+1
2020-07-26Miri: replace canonical_alloc_id mechanism by extern_static_alloc_id which is...Ralf Jung-4/+4
2020-07-25Miri: rename "undef" to "uninit"Philippe Nadon-47/+47
2020-07-22renamed ScalarMaybeUninit::not_undef to check_initPhilippe Nadon-15/+15
2020-07-22Normalize opaque types when converting `ParamEnv` to `Reveal::All`Aaron Hill-2/+2
2020-07-15s/try_to_usize/try_to_machine_usize/Oliver Scherer-1/+1
2020-07-15Reduce the amount of interning and `layout_of` calls in const eval.Oliver Scherer-0/+12
2020-07-15unify Instance::resolveBastian Kauschke-1/+1
2020-07-15improve namingBastian Kauschke-1/+1
2020-07-15const_eval_resolveBastian Kauschke-2/+2
2020-06-19Rollup merge of #72497 - RalfJung:tag-term, r=oli-obkRalf Jung-3/+3
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-30miri errors: rename InvalidDiscriminant -> InvalidTagRalf Jung-3/+3
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-15 05:40:29 +0000