about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2018-10-18Forward entire ptr used for dealloaction to machineRalf Jung-6/+6
2018-10-18repeat after me: Clone, Copy, DebugRalf Jung-0/+1
2018-10-18also hook dereferencingRalf Jung-10/+32
2018-10-18eval_context: move getters together and add one for is_freezeRalf Jung-48/+55
2018-10-18provide machine hooks for creating references and accessing memoryRalf Jung-31/+93
2018-10-18give machine more control over what counts as memory leakRalf Jung-10/+20
2018-10-18add support for storing extra data in an allocationRalf Jung-31/+26
2018-10-18comment on keeping validity in syncRalf Jung-0/+4
2018-10-18Rollup merge of #55142 - RalfJung:miri-uninhabited-enum, r=oli-obkkennytm-3/+0
2018-10-18Rollup merge of #55016 - oli-obk:vtables💥_vtables_everywhere, r=RalfJungkennytm-11/+24
2018-10-17layout should not affect CTFE checks (outside of validation)Ralf Jung-3/+0
2018-10-16Use forward compatible `FxHashMap` initializationOliver Scherer-1/+1
2018-10-15Add comments to remind everyone to keep the `get_vtable` impls in syncOliver Scherer-0/+4
2018-10-15Synchronize get_vtable with the `codegen_llvm` oneOliver Scherer-13/+14
2018-10-15Deduplicate vtables within a single evaluationOliver Scherer-1/+9
2018-10-15Rollup merge of #55062 - bjorn3:ecx-step-public, r=oli-obkManish Goregaokar-1/+3
2018-10-14Auto merge of #55032 - oli-obk:the_early_unwrap_gets_the_panic, r=Mark-Simula...bors-1/+1
2018-10-14Add comment about step being used by prirodabjorn3-0/+2
2018-10-14Make EvalContext::step public againbjorn3-1/+1
2018-10-13Check the invariant for `principal` inside the methodOliver Scherer-1/+1
2018-10-13run-time validation: accept undef in int arrays, as we do for intsRalf Jung-5/+10
2018-10-13address nitsRalf Jung-1/+2
2018-10-13validation: accept pointers in integer arraysRalf Jung-5/+34
2018-10-13Fix and test upvar name printing for validityRalf Jung-10/+6
2018-10-13make ENFORCE_VALIDITY a functionRalf Jung-5/+5
2018-10-13foreign types: use size and align from layoutRalf Jung-2/+3
2018-10-13seems like for generators we cannot access the freevarsRalf Jung-5/+9
2018-10-13size_and_align_of can return no result for extern typesRalf Jung-23/+26
2018-10-13validate return value on stack popRalf Jung-31/+54
2018-10-13check return type even for uninhabited caseRalf Jung-5/+6
2018-10-13fix validation around transmuting copy_opRalf Jung-33/+136
2018-10-11impl Eq+Hash for TyLayoutRalf Jung-22/+1
2018-10-10tidy upRalf Jung-1/+6
2018-10-10vtables are not leaksRalf Jung-4/+9
2018-10-10more comments for these sublte games we are playing with allocations in the m...Ralf Jung-30/+40
2018-10-10abstract mono_hash_map through a trait, only miri actually needs the fancy oneRalf Jung-134/+99
2018-10-10typos and spacesRalf Jung-14/+14
2018-10-10clarify alloc_map descriptionRalf Jung-4/+6
2018-10-10fix typosRalf Jung-1/+1
2018-10-10expand safety comment in memory.rsRalf Jung-0/+4
2018-10-10rename extra -> meta in placeRalf Jung-32/+32
2018-10-10expand commentRalf Jung-0/+2
2018-10-10tidy, oh tidyRalf Jung-4/+16
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-427/+731
2018-10-09validity: check dynamic size, not staticRalf Jung-6/+2
2018-10-09dont fail when validating non-local closuresRalf Jung-4/+8
2018-10-09box is also a primitive typeRalf Jung-7/+7
2018-10-09add fixme for potential perf optimizationRalf Jung-0/+3
2018-10-09fix nits and handling of extern staticRalf Jung-31/+37
2018-10-09unify handling of thin and fat pointers by moving primitive type handling out...Ralf Jung-194/+206