about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2018-11-15miri value visitor: provide place when visiting a primitiveRalf Jung-8/+9
2018-11-15expose MutValueVisitorRalf Jung-1/+1
2018-11-15Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obkbors-114/+75
2018-11-14miri: backtraces with instancesRalf Jung-12/+3
2018-11-13Auto merge of #55912 - kennytm:rollup, r=kennytmbors-12/+2
2018-11-13fix various typos in doc commentsAndy Russell-1/+1
2018-11-12Deduplicate field and variant visitor methodsOliver Scherer-25/+22
2018-11-12miri-engine value visitor update to VariantIdxOliver Scherer-9/+41
2018-11-12Use type safe `VariantIdx` instead of `usize` everywhereOliver Scherer-27/+29
2018-11-12remove unused importRalf Jung-1/+1
2018-11-12for uniformity, also move memory_deallocated to AllocationExtraRalf Jung-11/+1
2018-11-11Auto merge of #55674 - oli-obk:miri_engine_refactoring, r=RalfJungbors-157/+9
2018-11-10Auto merge of #55650 - nikic:funnel-shift, r=nagisabors-0/+18
2018-11-08Rebase falloutOliver Scherer-1/+0
2018-11-08Give `AllocationExtra`s access to their entire `Allocation`Oliver Scherer-2/+2
2018-11-08FalloutOliver Scherer-7/+8
2018-11-08Move the `memory_accessed` hook onto the `Extra` valueOliver Scherer-20/+0
2018-11-08Move `ScalarMaybeUndef` back to rustcOliver Scherer-129/+1
2018-11-07only count deref_operand as actual deref, but not all ref-to-place conversionsRalf Jung-32/+31
2018-11-07calling the ptr hooks no longer needs expensive preparation, remove the opt-outRalf Jung-15/+8
2018-11-07no more action on ref or cast, but add new MIR statement for escaping a ptr t...Ralf Jung-69/+38
2018-11-07pretty-print scalar range that only has an upper boundRalf Jung-1/+4
2018-11-07do not print wrapping ranges like normal ranges in diagnosticsRalf Jung-28/+38
2018-11-07Auto merge of #55549 - RalfJung:miri-visitor, r=oli-obkbors-354/+635
2018-11-06Auto merge of #55262 - oli-obk:dangling_alloc_id_ice, r=RalfJungbors-0/+5
2018-11-06make sure we only guess field alignment at offset 0Ralf Jung-11/+14
2018-11-05walk_value: more tracingRalf Jung-0/+1
2018-11-05note some FIXMEsRalf Jung-0/+6
2018-11-05make it more obvious that the size is not relevantRalf Jung-3/+4
2018-11-05make ValueVisitor mut-polymorphicRalf Jung-218/+189
2018-11-05machine hooks for ptr (de)ref also need layout, and then they do not need the...Ralf Jung-31/+19
2018-11-05FIXMERalf Jung-1/+1
2018-11-05visit_aggregate with an iterator; fix some comment typosRalf Jung-40/+65
2018-11-05the visitor can already load the value for visit_primitiveRalf Jung-15/+18
2018-11-05all values can convert to operatorsRalf Jung-45/+46
2018-11-05finally this actually looks like a visitorRalf Jung-132/+118
2018-11-05use more traditional walk_array/visit_array instead of the handle_array hookRalf Jung-71/+73
2018-11-05converting a VisitorValue to a MemPlace must not mutate anythingRalf Jung-11/+12
2018-11-05fix validation error on non-integer enum discriminantsRalf Jung-22/+25
2018-11-05let the Value handle enum projections, so the visitor does not have to careRalf Jung-30/+56
2018-11-05provide some default implementationsRalf Jung-6/+9
2018-11-05add visit() hook to the traitRalf Jung-15/+23
2018-11-05fix for pre-NLL rustcRalf Jung-1/+1
2018-11-05also allow visiting places and mplacesRalf Jung-9/+76
2018-11-05reduce the amount of traversal/projection code that the visitor has to implem...Ralf Jung-158/+235
2018-11-05generalize the traversal part of validation to a ValueVisitorRalf Jung-302/+421
2018-11-05miri: binary_op_val -> binary_op_immRalf Jung-5/+5
2018-11-04rustc_target: pass contexts by reference, not value.Eduard-Mihai Burtescu-72/+34
2018-11-04test for offset and alignment of the sized part, instead of field countRalf Jung-5/+5
2018-11-04miri: accept extern types in structs if they are the only fieldRalf Jung-3/+15